Considere que as proposições lógicas simples sejam representadas por letras maiúsculas e os símbolos lógicos usuais sejam indicados conforme a tabela precedente.

A proposição lógica !$ (P⇒Q) ⇒ (R⇒S) !$ é equivalente à proposição lógica