Fórum de Matemática
DÚVIDAS? Nós respondemos!

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\)

_________________
Fraol
_{Você também pode contribuir, se souber alguma questão responda ou participe da discussão. Divulgue nosso forum.}