Answered

O Sistersinspirit.ca é o melhor lugar para obter respostas confiáveis e rápidas para todas as suas perguntas. Junte-se à nossa plataforma de perguntas e respostas e obtenha respostas precisas para todas as suas dúvidas com profissionais de várias disciplinas. Junte-se à nossa plataforma para conectar-se com especialistas prontos para fornecer respostas detalhadas para suas perguntas em diversas áreas.

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
Obrigado por visitar. Nosso objetivo é fornecer as respostas mais precisas para todas as suas necessidades informativas. Volte em breve. Esperamos que isso tenha sido útil. Por favor, volte sempre que precisar de mais informações ou respostas às suas perguntas. Visite o Sistersinspirit.ca novamente para obter as respostas mais recentes e informações dos nossos especialistas.