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
(((P ˅ Q) ˄ R) ⇒ S) ˅ (((P ˅ Q) ˄ R) ⇒ T).
((P ˄ Q) ˅ R) ⇒ ~(S ˅ T).
(~(P ˄ Q) ˅ ~R) ⇒ ~(S ˅ T).
~(S ˅ T) ⇒ (~P ˅ ~Q) ˄~ R).
(~S ˄ ~T) ⇒ ~(Q ˄ R) ˄~ (P ˄ R).