A) Considere H = ~((P ^ Q) v R v S) ^ (P1 ^ Q1). Construa uma árvore semântica associada a H e identifique
se H é uma tautologia, satisfatível ou contraditória. b) Prove utilizando árvore semântica que a afirmação ((H v (H ^ G)) <-> H) é tautologia é verdadeira ou falsa.c) Prove utilizando árvore semântica que a afirmação ((H ^ (H v G)) <-> H) é tautologia é verdadeira ou falsa.
1 Resposta
Clique aqui para adicionar a sua resposta.
Mais perguntas de Lógica
Lógica
Lógica
O seguinte trecho de texto é um problema de lógica: João tem um irmão mais novo. João é o irmão mais velho.
Alícia Galvão - há 2 anos
Lógica
felipe0387
Aquela que comenta p ganhar pontos valeu 29-09