Considere a seguinte tabela verdade, representando os valores lógicos de uma proposição R, resultante da aplicação de uma operação lógica sobre duas proposições p e q:
| p | q | R |
| V | V | V |
| V | F | V |
| F | V | V |
| F | F | F |
De acordo com a lógica matemática, a proposição R pode ser chamada de:
