LÓGIC A S IMBÓLIC A

Tablas de Verdad
Publicado por FE LIP E BER R IOS el 5 MAR ZO, 2016
Una tabla de verdad es un diagrama que permite determinar claramente
cuando una proposición compuesta es verdadera, falsa o variada.
Si todos los valores de verdad de una proposición compuesta son
verdaderos se denomina una tautología, si son falsos una contradicción,
de lo contrario se llama indeterminada o contingencia.
El proceso de construcción de una tabla de verdad inicia por determinar
el número de combinaciones posibles de los valores de verdad de las
proposiciones simples constituyentes. Si la proposición consta de n
proposiciones simples diferentes, puesto que cada una de ellas tiene dos
valores posibles (verdadero o falso) habrá 2n (2 elevado a ‘n’)
combinaciones posibles de valores.
Existe una tabla de verdad para cada tipo de relación proposicional,
siendo:

Negación: Si la proposición ‘A’ es verdadera, su negación (es decir, ‘no

A’) será necesariamente falsa. Si la proposición ‘A’ es falsa, entonces su
negación será necesariamente verdadera.
Conjunción: para que la relación ‘A y B’ sea verdadera, la proposición
simple ‘A’ y la proposición simple ‘B’, deben serlo también. Si una de
estas proposiciones simples es falsa, entonces la relación conjuntiva es
también necesariamente falsa.
Disyunción: para que la relación proposicional ‘A o B’ sea verdadera,
basta con que solo una de las proposiciones simples lo sea. De ser
ambas proposiciones falsas, entonces la relación de conjunción también
lo será.
Condicionalidad: la relación ‘si A entonces B’ indica a la proposición ‘A’
como causa o antecedente de ‘B’, pero no como antecedente exclusivo,
sino como una de las causas posibles de ‘B’. Por esta razón, la
condicionalidad solo será falsa cuando el antecedente o causa sea
verdadero, pero el efecto o consecuente no lo sea. De ser falso el
antecedente o causa -dado que es solo una de las posibles causas de
‘B’- el consecuente puede ser verdadero y esto no niega la relación
condicional entre ‘A’ y ‘B’.
Bicondicionalidad: a diferencia del caso anterior, en este tipo de
relación proposicional, las proposición simple ‘A’ es causa o antecedente
exclusiva de ‘B’; y ‘B’ es antecedente también exclusivo de ‘A’. Por ello, si
una de las proposiciones simples es falsa y la otra verdadera, la relación
bicondicional es falsa.