Considere a seguinte tabela verdade com os valores lógicos que podem ser assumidos por duas proposições p e q:
| \( p \) | \( q \) | \( p \rightarrow 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 \rightarrow q \), que preenchem corretamente a última coluna da tabela verdade, de cima para baixo, são os seguintes:
