SOLEDAD H.

BERMÚDEZ

ELEMENTOS DE SEMÁNTICA
FORMAL II
Las formas normales: limpian, brillan y dan esplendor

Veámoslo en una tabla:

Esto nos es útil porque tenemos así un método que permite combinar
cualesquiera disposiciones del valor V en una tabla de verdad. Este proceso
puede aplicarse con independencia del número de átomos que sea preciso
considerar en cada coyunto elemental.

Pero... ¿Para qué sirve todo esto?

Un teorema de normalización permite reducir una clase de elementos a una
colección propia permitiendo a su vez evaluar sobre los objetos de esta clase
menor todas las propiedades notables de los objetos de la clase original, que
en este caso son los de la lógica de enunciados.
Si mediante el método de tablas de verdad fuésemos capaces de construir
funciones veritativas para las cuales no existiese una fórmula capaz de
representarla, estaríamos justificados a la hora de afirmar que el lenguaje
considerado se ve afectado de muy serias limitaciones expresivas, pero el
teorema de normalización tiene como consecuencia mostrar que ese no es el
caso para el lenguaje de la lógica de enunciados.
Así, podemos afirmar que la clase de las fórmulas en FND (o en FNC) son
capaces de expresar cualquier función veritativa sin excepción.
Por ende, demostramos que el conjunto {v,˄,¬} posee capacidad expresiva
suficiente para expresar cualquier posible función veritativa y por lo tanto,
cualquier otra conectiva.
Por todo esto...
Decimos que un conjunto de conectivas (o fórmulas) es funcionalmente
completo o adecuado si con su sólo concurso es posible construir un conjunto
de fórmulas capaces de representar cualquier función de verdad aceptable.
El conjunto {v,˄,¬} es funcionalmente completo. Y por ello el conjunto de
conectivas de la lógica de enunciados {v,˄,¬, →}, también lo es.
Hay conjuntos completos distintos de {v,˄,¬} como: {˄,¬}, {v,¬}, {¬, →}, que son
conjuntos funcionalmente completos minimales. En el caso de la barra de
Scheffer y la conectiva de Pierce, son también conjuntos funcionalmente
completos y trivialmente minimales. Si falta el negador, no suelen ser completos.