///
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