Diferencia entre revisiones de «Función de verdad»

 

Una sentencia se llama función de verdad si el valor de verdad de la sentencia es una función del valor de verdad de sus subsentencias. Una clase de sentencias se denomina funcional de verdad si cada uno de sus miembros lo es. Por ejemplo, la sentencia "Las manzanas son frutos y las lechugas son verduras" es funcional de verdad puesto que es verdadero si lo son cada una de sus subsentencias "la manzanas son frutas" y "las lechugas son verduras",y es falso en caso contrario. No todas las sentencias de un lenguaje natural, tal como el español, son funcionales de verdad.

* "María cree que Mariano Rajoy ganó las elecciones del 14 de marzo de 2004"

 

 

* "María cree que la luna está hecha de queso verde"

En [[lógica clásica]], la clase de sus fórmulas (incluyendo las sentencias) es una función de verdad puesto que dada conectivo sentencial (por ejemplo, y, →, etc.) usado en la donstrucción de fórmulas es función de verdad. Sus valores para varios valores de verdad como argumento se dan usualmente mediante [[tablas de verdad]].

 

 

 

== Véase también ==