Considere a seguinte tabela verdade com os valores lógicos que podem ser assumidos por duas proposições p e q:
| p | q | p ∨ q |
| V | V | |
| V | F | |
| F | V | |
| F | F |
De acordo com a lógica matemática, os valores lógicos correspondentes à proposição p ∨ q, que preenchem corretamente a última coluna da tabela verdade, de cima para baixo, são