Diferencia entre revisiones de «Función de verdad»
Contenido eliminado Contenido añadido
Revertidos los cambios de 80.30.69.14 a la última edición de Pan con queso con monobook-suite |
m Robot: arreglando referencias y otros; cambios triviales |
||
Línea 1:
En [[lógica matemática]], una '''[[función (matemáticas)|función]] de verdad''' es una función de un conjunto de valores de verdad a otro conjunto de valores de verdad. Clásicamente el dominio y el rango de una función de vedad son {''verdadero'',''falso''}, pero en general pueden tener cualquier número de valores de verdad, incluso una infinidad de ellos. Una sentencia conectiva (véase abajo) se llama "funcional de verdad" si asigna o [[denotación|denota]] tal función.
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.
Línea 9:
es verdadera nientras que
* "María cree que la luna está hecha de queso verde"
es falsa. En ambos casos, cada componente de la sentencia (es decir "Mariano Rajoy ganó las elecciones del 14 de marzo de 2004" y "la luna está hecha de queso verde")es falsa, pero cada componente de la sentencia formada antecediendo la frase "María cree que" difiere en su valor de verdad. Esto es, el valor de verdad de una sentencia de la forma "María cree que..." no está determinado solamente por el valor de verdad de las sentencias de que se compone, y así pues el conectivo (o simplemente ''operador'') no es una función de verdad.
Línea 19:
[[Alonzo Church|Church, Alonzo]] (1944), ''Introduction to Mathematical Logic''. Véase la Introducción de la historia del concepto de función de verdad.
==
* [[Bertrand Russell]] y [[Alfred North Whitehead]], ''[[Principia Mathematica]]'.
* [[Wittgenstein]], ''[[Tractatus Logico-Philosophicus]]''
Línea 27:
{{planetmath|id=483|title=TruthFunction}}
[[
[[de:Wahrheitswertefunktion]]
| |||