Se P, Q e R são afirmações lógicas, então a contraposição da implicação (P!$ \rightarrow !$Q)!$ \rightarrow !$R é logicamente equivalente à implicação
Provas
Questão presente nas seguintes provas
Se P, Q e R são afirmações lógicas, então a contraposição da implicação (P!$ \rightarrow !$Q)!$ \rightarrow !$R é logicamente equivalente à implicação