Uma tabela de verdade mostra o valor de verdade da proposição complexa que resultou da aplicação de um operador lógico a duas proposições mais simples.
Suponhamos que as duas proposições conectadas eram P e Q. Cada uma destas proposições tem dois valores de verdade possíveis: verdade ou falsidade. Isto dá-nos quatro possíveis combinações que estão representadas na tabela que se segue:
| P | Q | |
| V | V | |
| V | F | |
| F | V | |
| F | F |
Na coluna da direita acrescentaremos a proposição complexa formada pela ligação de “P” e “Q”. Por baixo escreveremos o valore de verdade que ela adquire em cada um dos casos possíveis. Vejamos, por exemplo, a tabela de verdade da proposição complexa “P e Q”
| P | Q | P e Q |
| V | V | V |
| V | F | F |
| F | V | F |
| F | F | F |
Note-se que a proposição complexa pode ser verdadeira ou falsa em função dos diferentes valores de verdade de P e Q e do operador usado.
Stephen Downes