===== MÉTODO DAS MATRIZES =====
(in. Method of matrices; fr. Méthode des matrices; it. [[lexico:m:metodo|Método]] delle matrici).

Método de construção de tábuas de [[lexico:v:verdade|verdade]] (v. [[lexico:t:tabua|tábua]]); consiste na [[lexico:e:enumeracao|enumeração]] [[lexico:s:sistematica|sistemática]] das possibilidades de verdades para certo [[lexico:n:numero|número]] de proposições [[lexico:s:simples|simples]], ou seja, na enumeração das combinações possíveis dos valores de verdade dessas proposições. Para uma [[lexico:p:proposicao|proposição]] há duas possibilidades (verdadeira ou falsa); para duas, [[lexico:q:quatro|Quatro]]; em [[lexico:g:geral|geral]], para n proposições, 2 possibilidades de verdades. [[lexico:e:esse|esse]] método foi introduzido por [[lexico:p:peirce|Peirce]] numa [[lexico:o:obra|obra]] de 1885 (Coll. Pap., 4.359-403), desenvolvido por Schröder (Algebra der Logik, 1890) e empregado pelos lógicos poloneses, especialmente Lukasiewicz, para construção das lógicas polivalentes (que admitem o [[lexico:v:valor|valor]] [[lexico:p:possivel|possível]], [[lexico:a:alem|além]] de [[lexico:v:verdadeiro|verdadeiro]] e [[lexico:f:falso|falso]]) (cf. [[lexico:t:tarski|Tarski]], Logic, Semantics, Metamathematics, 1956, cap. IV), sendo hoje adotado por grande número de lógicos matemáticos (cf., p. ex., Beth, Les fondements logiques des mathématiques, 1955, § 34).

Esse método era conhecido na [[lexico:a:antiguidade|antiguidade]]; Fílon de Mégara utilizou-o em sua [[lexico:a:analise|análise]] das proposições condicionais, afirmando que tais proposições serão verdadeiras nos seguintes casos: 1) se o [[lexico:a:antecedente|antecedente]] e o [[lexico:c:consequente|consequente]] forem verdadeiros; 2) se o antecedente for falso e o consequente verdadeiro; 3) se o antecedente e o consequente forem falsos; e que serão falsas quando o antecedente é verdadeiro e o consequente é falso ([[lexico:s:sexto-empirico|Sexto Empírico]], Adv. math., I, 309). V. condicional; [[lexico:i:implicacao|implicação]].

O método de matrizes geralmente serve para reconhecer se uma proposição do [[lexico:c:calculo|cálculo]] proposicional é verdadeira; por isso, pode [[lexico:s:ser|ser]] enumerada entre as leis do cálculo (Tarski, Introduction to Logic, § 13; Church, Introduction to Mathematical Logic, I, § 15).