Dicionario de filosofia.pdf - Charlezine

TÁBUAS DE VERDADE TÁBUAS DE VERDADE
it. Tarole di verità). 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 6 verdadeira. Fssas tábuas são
construídas com os símbolos dos conectivos lógicos
(v. CONHCTIVO) e, com V e F. indicam respectivamente
o valor de verdade e de falsidade
de uma proposição. Assim, utilizando o símbolo
-/; para indicar a negação de p (ou que p é
falso), tem-se a seguinte T.:
p
V
F
~P
F
significando que, se /; é verdadeiro, sua negação
é falsa e, se pé falso, sua negação é verdadeira.
Se considerarmos a conjunção entre duas
proposições, indicada pelo símbolo '.', teremos
a seguinte T. de verdade-.
V
P