Considere a seguinte tabela verdade com os valores lógicos que podem ser assumidos por duas proposições p e q:
p | q | p Λ ~p |
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 os seguintes:
