Como vimos, podemos converter facilmente tabelas em tabelasdeverdade, e vice-versa.
2
As tabelasdeverdade explicam por que razão isto acontece.
3
Os inspectores de circunstâncias são uma maneira de comparar sequências de tabelasdeverdade.
4
Mas é preciso não confundir proposições com argumentos, nem tabelasdeverdade com inspectores de circunstâncias.
5
As tabelasdeverdade exibem as condições de verdade associadas aos operadores -e estas condições de verdade constituem o seu significado verofuncional.
6
A negação correcta, como se pode ver recorrendo a duas tabelasdeverdade, é "Deus existe mas a vida não faz sentido".
7
A confusão subtil entre argumentos e afirmações é agravada quando se usam tabelasdeverdade para, indirectamente, determinar a validade ou invalidade dos argumentos.
8
As tabelasdeverdade que definem os operadores não são meras convenções, mas antes uma forma de exprimir o significado real dos operadores em causa.
9
* Que factos das tabelasdeverdade permitem afirmar que a condicional não é comutativa, ao passo que os outros operadores binários o são?