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

Método de construção de tábuas de [[lexico:v:verdade:start|verdade]] (v. [[lexico:t:tabua:start|tábua]]); consiste na [[lexico:e:enumeracao:start|enumeração]] [[lexico:s:sistematica:start|sistemática]] das possibilidades de verdades para certo [[lexico:n:numero:start|número]] de proposições [[lexico:s:simples:start|simples]], ou seja, na enumeração das combinações possíveis dos valores de verdade dessas proposições. Para uma [[lexico:p:proposicao:start|proposição]] há duas possibilidades (verdadeira ou falsa); para duas, [[lexico:q:quatro:start|Quatro]]; em [[lexico:g:geral:start|geral]], para n proposições, 2 possibilidades de verdades. [[lexico:e:esse:start|esse]] método foi introduzido por [[lexico:p:peirce:start|Peirce]] numa [[lexico:o:obra:start|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:start|valor]] [[lexico:p:possivel:start|possível]], [[lexico:a:alem:start|além]] de [[lexico:v:verdadeiro:start|verdadeiro]] e [[lexico:f:falso:start|falso]]) (cf. [[lexico:t:tarski:start|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:start|antiguidade]]; Fílon de Mégara utilizou-o em sua [[lexico:a:analise:start|análise]] das proposições condicionais, afirmando que tais proposições serão verdadeiras nos seguintes casos: 1) se o [[lexico:a:antecedente:start|antecedente]] e o [[lexico:c:consequente:start|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:start|Sexto Empírico]], Adv. math., I, 309). V. condicional; [[lexico:i:implicacao:start|implicação]].

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

{{indexmenu>.#1|skipns=/^playground|^wiki/ nsonly}}