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

Estou com dificuldade em resolver este exercício
download/file.php?mode=view&id=1348

Alguém me pode ajudar ?

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

_________________
Marco Tavares Pereira
Tudo é trivial, para alguém.
http://www.matematicaviva.pt/

Obrigado pela ajuda, podes me dizer se a minha tabela de verdade esta correta ?

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

_________________
Marco Tavares Pereira
Tudo é trivial, para alguém.
http://www.matematicaviva.pt/

Muito obrigado então a ultima coluna fica F,F,V,V correto ?

Certíssimo!

_________________
Marco Tavares Pereira
Tudo é trivial, para alguém.
http://www.matematicaviva.pt/