///
Em lógica proposicional é comum basearmos as considerações usando as tabelas verdade como auxílio. Abaixo, temos uma tabela-verdade incompleta para duas proposições p e q, dada por:
| p | q | q ⇒ p | p ⇒ (q ⇒ p) |
|---|---|---|---|
| V | V | V | V |
| V | F | V | 2 |
| F | V | 1 | V |
| F | F | V | 3 |
Os valores lógicos que completam a sequência 1-2-3, respectivamente, são: