(CESPE 2013) - Com referência às proposições lógicas simples P, Q e R, julgue o próximo item. 18. Se ¬R representa a negação de R, então as proposi...
(CESPE 2013) - Com referência às proposições lógicas simples P, Q e R, julgue o próximo item. 18. Se ¬R representa a negação de R, então as proposições P∨[¬(Q→R)] e (P∨Q)∧[P∨(¬R)] são equivalentes.
Vamos analisar as proposições:
P∨[¬(Q→R)] = P∨[¬(¬Q∨R)] = P∨(Q∧¬R)
(P∨Q)∧[P∨(¬R)] = (P∨Q)∧(P∨¬R)
Agora, vamos verificar se as duas proposições são equivalentes:
P∨(Q∧¬R) = (P∨Q)∧(P∨¬R)
Essas proposições não são equivalentes, portanto, a resposta é Falso.
0
0
✏️ Responder
Para escrever sua resposta aqui, entre ou crie uma conta
Compartilhar