Imagem de fundo

Considere que as proposições lógicas simples sejam...

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).