jorgesilva Escreveu:a regra a ser utilizada e Modus Tollens:
(p ∧ q) → r
Aplicar a regra não é complicado, já satisfazer requisitos de notação pode ser mais ... De qualquer forma vamos lá:
Nesse modus você deve negar o consequente e concluir a negação do antecedente:
\((p \wedge q) \rightarrow r \\ \text{modus tollens:} \\ \neg r \\ \vdash \neg (p \wedge q) \equiv \neg p \vee \neg q\)