Fórum de Matemática | DÚVIDAS? Nós respondemos!
https://forumdematematica.org/

Aplique a regra solicitada para deduzir a conclusãodos seguintes argumentos
https://forumdematematica.org/viewtopic.php?f=70&t=7356
Página 1 de 1

Autor:  jorgesilva [ 12 nov 2014, 21:55 ]
Título da Pergunta:  Aplique a regra solicitada para deduzir a conclusãodos seguintes argumentos

a regra a ser utilizada e Modus Tollens:


(p ∧ q) → r

Autor:  Fraol [ 14 nov 2014, 00:50 ]
Título da Pergunta:  Re: Aplique a regra solicitada para deduzir a conclusãodos seguintes argumentos

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

Página 1 de 1 Os Horários são TMG [ DST ]
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/