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