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:
Os valores lógicos que completam a sequência 1-2-3, respectivamente, são:
