ABBAGNANO, N. Dicionário de Filosofia. São Paulo: Martins Fontes, 2007. p. 937

"No cálculo das proposições, construídas pelo método de matrizes (v.), que permite enumerar todas as possibilidades de verdade para certo número de proposições simples e assim identificar se uma proposição é verdadeira. Essas tábuas são construídas com os símbolos dos conectivos lógicos (v. CONHECIMENTO) e, com V e F. indicam respectivamente o valor de verdade e de falsidade de uma proposição."