tablas de verdad

tablas de verdad 

Tablas 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 valores de verdad que se pueda asignar a sus componentes.

Las tablas de verdad son, por una parte, uno de los métodos más sencillos y conocidos de la lógica formal, pero la mismo tiempo también uno de los más poderosos y claros. Entender bien las tablas de verdad es, en gran medida, entender bien a la lógica formal misma.

P	Q	^Q
1	1	1
1	0	0
0	1	0
0	0	0

Fundamentalmente, una tabla de verdad es un dispositivo para demostrar ciertas propiedades lógicas y semánticas de enunciados del lenguaje natural o de fórmulas del lenguaje del cálculo proposicional:

1. . Sin son tautológicas, contradictorias o contingentes
2. . Cuáles son sus condiciones de verdad
3. . Cuál es su rol inferencial, es decir, cuáles son sus conclusiones lógicas y de qué otras proposiciones se siguen lógicamente

Condicional: El condicional solamente es falso cuando el antecedente es verdadero y el consecuente es falso. De la verdad no se puede seguir la falsedad.

P	Q	PVQ
1	1	1
1	0	1
1	1	1
0	0	0

Bicondicional:El bicondicional solamente es cierto si sus componentes tienen el mismo valor de verdad.

P	Q	P®Q
1	1	1
1	0	1
1	1	1
0	0	1