Tayna2

CENTRO UNIVERSITÁRIO DE PATOS DE MINAS – UNIPAM
CURSO DE SISTEMAS DE INFORMAÇÃO
Disciplina: Lógica Aplicada à Computação
Professora: Juliana Lilis

5º Trabalho - Lógica Proposicional

QUESTÃO 1
Construa uma árvore semântica associada à fórmula abaixo e identifique se é tautologia, satisfazível ou contraditória.
a) H = ((P  Q)  (Q  R))  (P  R)
b) H = ((P  Q)  (P  Q))  Q

QUESTÃO 2
Utilize o método da negação ou absurdo para demonstrar se a fórmula é uma tautologia.
a) H = P1  ((P2  P3)  ((P4  P5)  ((P6  P7)  P4)))
b) H = (P  (P  Q))  ((P  Q)  P)

QUESTÃO 3
Demonstre, utilizando tabela verdade, árvore semântica ou o método da negação ou absurdo, se os argumentos são válidos:
a) Se Lenin é comuinista, ele é ateu. Lenin é ateu. Portanto ele é comunista.
b) Se Maria beija Pedro, ele fica louco. Pedro não ficou louco. Portanto, Maria não beijou Pedro.
c) Se x é positivo, então y é negativo. Se z é negativo, então y é negativo. Portanto, se x é positivo ou z é negativo, então y é negativo

Observação: Nos itens desta questão, as sentenças devem ser inicialmente representadas na Lógica proposicional. Nestes itens, tem um conjunto de sentenças seguidas por uma conclusão, que ocorre após a palavra “portanto”. A representação final nestes casos são sentenças do tipo H=(FGE) A.

CENTRO UNIVERSITÁRIO DE PATOS DE MINAS – UNIPAM
CURSO DE SISTEMAS DE INFORMAÇÃO
Disciplina: Lógica Aplicada à Computação
Professora: Juliana Lilis

5º Trabalho - Lógica Proposicional

QUESTÃO 1
Construa uma árvore semântica associada à fórmula abaixo e identifique se é tautologia, satisfazível ou contraditória.
a) H = ((P  Q)  (Q  R))  (P  R)
b) H = ((P  Q)  (P  Q))  Q

QUESTÃO 2
Utilize o método da negação ou absurdo para demonstrar se a fórmula é uma tautologia.
a) H = P1  ((P2  P3)  ((P4  P5)  ((P6  P7)  P4)))
b) H = (P  (P  Q))  ((P  Q)  P)

QUESTÃO 3