A) Considere H = ~((P ^ Q) v R v S) ^ (P1 ^ Q1). Construa uma...
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.
c) Prove utilizando árvore semântica que a afirmação ((H ^ (H v G)) <-> H) é tautologia é verdadeira ou falsa.
1 Resposta
Ver resposta
Aquela que comenta p ganhar pontos valeu 29-09
Sua resposta
Mais perguntas de Lógica
Você tem alguma dúvida?
Faça sua pergunta e receba a resposta de outros estudantes.