Considere a tabela-verdade a seguir que apresenta as proposições simples p e q e a proposição composta (p V q) → (p ∧ q). Nessa tabela, estão contidos os valores lógicos V (verdadeiro) e F (falso) das proposições p e q.


Assim, completando a última coluna dessa tabela-verdade, a sequência dos valores lógicos, de cima para baixo, é