“TABLAS DE VERDAD “
Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de verdad de una proposición compuesta,
para cada combinación de verdad que se pueda asignar.1
Fue desarrollada por Charles Sanders
Peirce por los años
1880
Verdadero
El valor verdadero se representa con la letra V; si se emplea notación numérica se
expresa con un uno: 1; en
un circuito eléctrico, el circuito está cerrado.
Falso
El valor falso se
representa con la letra F; si se emplea notación numérica se expresa con un cero: 0; en un circuito eléctrico, el circuito está
abierto.
“COMO RESOLVER
UNA TABLA DE VERDAD”
FORMAS
DE CONSTRUCCIÓN DE TABLAS DE VERDAD:
Paso
1: colocar las combinaciones de valores de verdad debajo de cada variable.
La fórmula del calculo es 2n (la n va arriba del 2) donde: * 2= representa los valores de certeza ( V o F).
* n = número de proposiciones atómicas.
La fórmula del calculo es 2n (la n va arriba del 2) donde: * 2= representa los valores de certeza ( V o F).
* n = número de proposiciones atómicas.
[
( P ^ Q) ——> (¬ P)] v ( ¬ Q)
Tenemos dos variables P y Q
Entonces 2 al cuadrado = 4
Tenemos dos variables P y Q
Entonces 2 al cuadrado = 4
P
Q
V
V
V F
F V
F F
V F
F V
F F
Paso
2: Transformar los valores de verdad tomando en cuenta la negación (si los hay)
Ejemplo:
[ ( P ^ Q)—–> (¬P)] v (¬ Q)
¬
P ¬ Q
F
F
F V
V F
V V
F V
V F
V V
Paso
3: Se calula primero el calor de verdad de los paréntesis tomando en cuenta las definiciones del conectivo lógico.
Ejemplo:
[( P ^ Q)—-> (¬ P)] v (¬Q)
P
^ Q
V
F
F
F
F
F
F
Paso
4: Se compara el resultado del valor de verdad del paréntesis con el valor de
verdad del corchete (si lo hay)
Paso
5: Se compara el resultado de ese valor de verdad del corchete con el de las
llaves (si lo hay)
(P ^ Q)—–> (¬P) [(P ^ Q)—-> ¬P]
v¬Q
F F
V V
V V
V V
V V
V V
V V
Luego
de haber cumplido con esta serie de pasos habremos obtenido un resultado en la
columna final de nuestra tabla de verdad la cual podremos calificarla como una
teutologia, contingencia o contreadicción.
Tautologia=
una proposición molecular es una tautologia sólo si el resultado de la columna
final, independientemente de los valores de certeza de sus proposiciones
atómicas que la componen, es siempre verdadero.
