Fórum de Matemática | DÚVIDAS? Nós respondemos! https://forumdematematica.org/
Classificar um proposição e justificar https://forumdematematica.org/viewtopic.php?f=70&t=4801	Página 1 de 1

---

Autor:	TiagoS [ 16 jan 2014, 10:27 ]
Título da Pergunta:	Classificar um proposição e justificar  [resolvida]
Estou com dificuldade em resolver este exercício download/file.php?mode=view&id=1348 Alguém me pode ajudar ? Anexos: fa.jpg [ 9.99 KiB | Visualizado 1872 vezes ]

---

Autor:	mpereira [ 16 jan 2014, 11:42 ]
Título da Pergunta:	Re: Classificar um proposição e justificar
\(p\rightarrow q\) tem o mesmo valor lógico que \(\sim p \wedge q\). Assim, pegamos no último e fazemos a conjunção com \(\sim p\). Para ser uma tautologia teria de ser verdadeiro independentemente do valor lógico das proposições p e q, e para ser contraditório teria de dar falso. No entanto não temos nenhuma dessas situações (para simplificar poderás fazer uma tabela de verdade para a expressar simplificada).

---

Autor:	TiagoS [ 16 jan 2014, 12:06 ]
Título da Pergunta:	Re: Classificar um proposição e justificar
Obrigado pela ajuda, podes me dizer se a minha tabela de verdade esta correta ? Anexos: tabela.jpg [ 13.71 KiB | Visualizado 1869 vezes ]

---

Autor:	mpereira [ 16 jan 2014, 12:22 ]
Título da Pergunta:	Re: Classificar um proposição e justificar
Quase...o único erro é que uma conjunção é verdade se e só se as duas proposições envolvidas também o são. Desta forma, quando \(\sim p\) é falso a proposição será falsa (primeira linha última coluna).

---

Autor:	TiagoS [ 16 jan 2014, 12:29 ]
Título da Pergunta:	Re: Classificar um proposição e justificar
Muito obrigado então a ultima coluna fica F,F,V,V correto ?

---

Autor:	mpereira [ 16 jan 2014, 13:12 ]
Título da Pergunta:	Re: Classificar um proposição e justificar
Certíssimo!

---

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