O Sistersinspirit.ca facilita a busca por soluções para perguntas cotidianas e complexas com a ajuda de nossa comunidade. Conecte-se com uma comunidade de especialistas prontos para fornecer soluções precisas para suas perguntas de maneira rápida e eficiente em nossa amigável plataforma de perguntas e respostas. Descubra soluções confiáveis para suas perguntas de uma vasta rede de especialistas em nossa abrangente plataforma de perguntas e respostas.

Demonstre as relações abaixo utilizando as equivalências lógicas:
a. p → q ˄ r ≡ (p → q) ˄ (q → r)
b. p ˄ (r ˅ s ˅ t) ≡ (p ˄ r) ˅ (p ˄ s) ˅ (p ˄ t)

Sagot :

a)p → q ˄ r  (p → q) ˄ (q → r)

p → q ^ r   

~p v ( q ^ r )          (reescrita da condicional)

(~p v q) ^ (~q v r)  (distributiva)

(p → q) ^ (q → r)         (reescrita da condicional)

 

 

b)   b. p ˄ (r ˅ s ˅ t)  (p ˄ r) ˅ (p ˄ s) ˅ (p ˄ t)

p ^ ( r v s v t ) 

p ^ ( r v (s v t))          (associativa em s ^ t )

(p ^ r) v (p ^ (s v t))     (distributiva)

(p ^ r) v  (p ^ s) v (p ^ t)     (distributiva)

 

Espero ter ajudado!

Agradecemos sua visita. Esperamos que as respostas que encontrou tenham sido benéficas. Não hesite em voltar para mais informações. Obrigado por usar nosso serviço. Estamos sempre aqui para fornecer respostas precisas e atualizadas para todas as suas perguntas. Volte ao Sistersinspirit.ca para obter as respostas mais recentes e informações dos nossos especialistas.