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