Imagem de fundo

Considere que as proposições lógicas simples sejam representadas por letras maiúsculas...

Considere que as proposições lógicas simples sejam representadas por letras maiúsculas e que os símbolos lógicos usuais sejam representados de acordo com a tabela a seguir.


conectivo

símbolo

conjunção

˄

disjunção

˅

negação

~

condicional

bicondicional


Nessa situação hipotética, a proposição lógica


----------------------((P ˅ Q) ˄ R) ⇒ (S ˅ T)


é equivalente à proposição lógica

A

(((P ˅ Q) ˄ R) ⇒ S) ˅ (((P ˅ Q) ˄ R) ⇒ T).

B

((P ˄ Q) ˅ R) ⇒ ~(S ˅ T).

C

(~(P ˄ Q) ˅ ~R) ⇒ ~(S ˅ T).

D

~(S ˅ T) ⇒ (~P ˅ ~Q) ˄~ R).

E

(~S ˄ ~T) ⇒ ~(Q ˄ R) ˄~ (P ˄ R).