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:





Os valores lógicos que completam a sequência 1-2-3, respectivamente, são: