viernes, 13 de junio de 2008

Tablas de verdad


Definición
Una tabla de verdad es una representación esquemática 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 elaboración de una tabla de verdad los términos de enlace tales como la negación ( “ ~ “), la disyunción ( “v“) y la conjunción ( “^“) se consideran conectivos fundamentales; por tal razón, sus valores de verdad constituyen base para establecer bajo qué condiciones una proposición compuesta es verdadera o falsa.

Para simbolizar los valores de verdad de una proposición, se utiliza el sistema binario, mediante el cual se le asigna 1 al valor verdadero y 0 al valor falso. La siguiente tabla resume los valores de verdad de los conectivos lógicos:

No hay comentarios: