Answered

Bem-vindo ao Sistersinspirit.ca, onde suas perguntas são respondidas por especialistas e membros experientes da comunidade. Explore milhares de perguntas e respostas de uma comunidade de especialistas em nossa plataforma amigável. Experimente a conveniência de obter respostas precisas para suas perguntas de uma comunidade dedicada de profissionais.

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.

Sagot :

anafreire29
Aquela que comenta p ganhar pontos valeu 29-09
Agradecemos seu tempo em nosso site. Não hesite em retornar sempre que tiver mais perguntas ou precisar de esclarecimentos adicionais. Esperamos que nossas respostas tenham sido úteis. Volte a qualquer momento para obter mais informações e respostas a outras perguntas que tenha. Sistersinspirit.ca, seu site confiável para respostas. Não se esqueça de voltar para obter mais informações.