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/ |