No se ha añadido ninguna twiki todavía.

Función de verdad. Es una relación entre clases tal que uno o varios valores de verdad de una clase se asignan a un único valor de verdad de otra. Los argumentos y valores de esta función, por tanto, son sólo «verdadero» y «falso». Las conectivas lógicas determinan funciones de verdad y se llaman, por eso mismo, veritativo-funcionales.

Si conocemos el valor de verdad de p y q, sabemos también el valor de verdad de [math]p\wedge q [/math] o de [math]p\rightarrow{}q[/math], solamente conociendo el tipo de función que representan las conectivas [math]\wedge[/math] y [math]\rightarrow{}[/math], es decir, con sólo conocer sus definiciones.

Las tablas de verdad son un medio fácil de decidir el valor de verdad de los enunciados complejos, y la lógica de enunciados es un cálculo lógico basado en estas funciones veritativas.

Ejemplo de decisión del valor de verdad ↓
  • Ejemplo de decisión del valor de verdad de un enunciado complejo mediante tablas de verdad: el valor de verdad del enunciado [math][(p\rightarrow{}q)\rightarrow{}q]\rightarrow{}p[/math] se decide mediante la siguiente tabla de verdad:
  • E1666-1.gif