Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
¿Qué es?
No se ha añadido ninguna twiki todavía.
Enunciado cuyo valor de verdad depende sólo de conectivas definidas como una función de verdad. Estas funciones se definen mediante tablas. La lógica que utiliza tales enunciados se llama también lógica veritativo-funcional. Por ejemplo, a la conectiva del condicional , corresponde la siguiente función que es su definición:
que es la definición de implicación material. La lógica veritativo-funcional se llama también lógica extensional.