Veritativo-funcional

De Enciclopedia Symploké, la enciclopedia libre.

Se dice de aquellas estructuras lógicas que van referidas a funciones veritativas. En lógica proposicional, decimos que una proposición compleja es veritativo-funcional porque su valor de verdad depende de sus conectivas, definidas como funciones de verdad, y de los valores de verdad asignables a sus variables, que representan las proposiciones simples que la integran.

Por ejemplo, la fórmula veritativo-funcional p v ¬q (p o no-q) es verdadera en los siguientes casos:

  • Cuando p y q son falsas.
  • Cuando p es verdadera y q es verdadera.
  • Cuando p es verdadera y q es falsa.

La fórmula sólo es falsa cuando p es falsa y q verdadera.

Para determinar los valores de verdad de una fórmula del cálculo proposicional, se recurre al procedimiento de las tablas de verdad.

Ver también función.

enciclopedista

Valid XHTML 1.0 Transitional