Función de verdad

Función de verdad

En lógica matemática, una función de verdad es una función que toma un conjunto de valores de verdad y devuelve un valor de verdad. Clásicamente el dominio y el rango de una función de verdad 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 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.

Sentencias de la forma "x cree que..." son ejemplos típicos de sentencias que no son funciones de verdad. Supongamos por ejemplo que María cree erróneamente que Mariano Rajoy ganó las elecciones del 14 de marzo de 2004 pero no cree que la luna esté hecha de queso verde. Entonces la sentencia

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

es verdadera mientras 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.

En lógica clásica, la clase de sus fórmulas (incluyendo las sentencias) es una función de verdad puesto que cada conectivo sentencial (por ejemplo, y, →, etc.) usado en la construcció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.

Cuando se trata de una función que toma un sólo argumento, existen cuatro funciones de verdad posibles:

\begin{array}{|c||c|c|c|c|} & 1 & 2 & 3 & 4 \\ x & f(x) & f(x) & f(x) & f(x) \\ \hline 1 & 1 & 1 & 0 & 0 \\ 0 & 1 & 0 & 1 & 0 \\ \hline \end{array}

En cambio, cuando la función toma dos argumentos, existen 16 funciones de verdad posibles:

\begin{array}{|c|c||c|c|c|c|c|c|c|c|c|c|c|c|c|c|c|c|} & & 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12 & 13 & 14 & 15 & 16 \\ x & y & f\!(\!x\!,\!y\!) & f\!(\!x\!,\!y\!) & f\!(\!x\!,\!y\!) & f\!(\!x\!,\!y\!) & f\!(\!x\!,\!y\!) & f\!(\!x\!,\!y\!) & f\!(\!x\!,\!y\!) & f\!(\!x\!,\!y\!) & f\!(\!x\!,\!y\!) & f\!(\!x\!,\!y\!) & f\!(\!x\!,\!y\!) & f\!(\!x\!,\!y\!) & f\!(\!x\!,\!y\!) & f\!(\!x\!,\!y\!) & f\!(\!x\!,\!y\!) & f\!(\!x\!,\!y\!) \\ \hline 1 & 1 & 1 & 1 & 1 & 1 & 1 & 1 & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 1 & 0 & 1 & 1 & 1 & 1 & 0 & 0 & 0 & 0 & 1 & 1 & 1 & 1 & 0 & 0 & 0 & 0 \\ 0 & 1 & 1 & 1 & 0 & 0 & 1 & 1 & 0 & 0 & 1 & 1 & 0 & 0 & 1 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 & 1 & 0 & 1 & 0 & 1 & 0 & 1 & 0 & 1 & 0 & 1 & 0 & 1 & 0 \\ \hline \end{array}

Véase también

Bibliografía utilizada


Wikimedia foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Mira otros diccionarios:

  • Función booleana — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar …   Wikipedia Español

  • Verdad — Artículo principal: Conocimiento El significado de la palabra verdad abarca desde la honestidad, la buena fe y la sinceridad humana en general, hasta el acuerdo de los conocimientos con las cosas que se afirman como realidades: los hechos o la… …   Wikipedia Español

  • Función de Liouville — La función de Liouville, denotada por λ(n) y atribuída a Joseph Liouville, es una importante función en teoría de números. Si n es un entero positivo, entonces λ(n) es definido como: donde la función Ω(n) es el número de factores primos de n,… …   Wikipedia Español

  • función proposicional — Expresión de tipo enunciativo que puede ser concebida como resultante de una oración al reemplazar los términos constantes presentes en ella por términos variables. Por ejemplo, x fue padre de y puede ser entendida como resultante de Adán fue… …   Enciclopedia Universal

  • Tabla de verdad — Una tabla de verdad, o tabla de valores de verdad, es una tabla que despliega el valor de verdad de una proposición compuesta, para cada combinación de valores de verdad que se pueda asignar a sus componentes.[1] Fue desarrollada por Charles… …   Wikipedia Español

  • Tabla de valores de verdad — Saltar a navegación, búsqueda Una tabla de valores de verdad, o tabla de verdad, es una tabla que despliega el valor de verdad de una proposición compuesta, para cada combinación de valores de verdad que se pueda asignar a sus componentes.[1] Fue …   Wikipedia Español

  • Únicamente la verdad — Forma videopera (opera de cámara) Actos y escenas s/d Idioma original del libreto español Libretista Rubén Ortiz Torres …   Wikipedia Español

  • Teoría deflacionaria de la verdad — La teoría deflacionaria de la verdad es una familia de teorías que comparten la afirmación de que las aseveraciones que predican la verdad de una proposición en realidad no le atribuyen una propiedad llamada verdad a dicha proposición o enunciado …   Wikipedia Español

  • Puerta de la Verdad — Saltar a navegación, búsqueda Las puertas del infierno de Auguste Rodin, probablemente fue una fuente de inspiración para la puerta de la verdad. En la serie anime y manga de Fullmetal Alchemist. La P …   Wikipedia Español

  • Historia de la función docente — La función docente empieza desde las sociedades primitivas hasta finales del s. XIX. Dentro de las sociedades primitivas, se destaca las características de la función docente en Mesopotamia, Egipto, Grecia, Roma y la Edad Media. Contenido 1… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
… Do a right-click on the link above
and select “Copy Link”