Tablas de Verdad

Tablas de verdad- Definición

Una tabla de verdad es una representacion esquematica de las relaciones entre proposiciones; sirve para determinar los valores de verdad de proposiciones compuestas, las cuales dependen de los conectivos utilizados y de los valores de verdad de sus proposiciones simples.

En la elaboracion de una tabla de verdad los terminos de enlace tales como la negacion ( “ ~ “) , la disyuncion ( “ v “) y la conjuncion ( “ ᴧ “) se consideran conectivos fundamentales; por tal razon, sus valores de verdad constituyen base para establecer bajo que condiciones una proposicion compuesta es verdadera o falsa.

Para simbolizar los valores de verdad de una proposicion, se utiliza el sistema binario, mediante el cual se le asigna 1 al valor verdadero y 0 al valor falso.