Soledad H.

Bermúdez

EL LENGUAJE DE LA LÓGICA DE
ENUNCIADOS II
La tormenta de la gramática y el salvavidas
de las fórmulas bien formadas.

TABLA DE FORMACIÓN DE UNA FÓRMULA:

Ya hemos presentado la tabla de formación de una fórmula, que
consiste en un listado de fórmulas necesarias en el proceso de
construcción de la última de ellas, junto a la justificación de cada uno
de los pasos dados para establecer fbf.

Pero.... ¿Qué es una subfórmula?

- Un fbf A es una subfórmula de otra fbf B si A aparece en la tabla de
formación de B.

- El conjunto de subfórmulas de una fbf A (Sb(A)) es la clase formada

por todas y cada una de las subfórmulas de A.

- Entendemos también por subfórmula inmediata de una fbf A a todas

aquellas que son mencionadas en la cláusula que justifica la propia
fórmula A en su tabla de formación.

ARIEDAD:
- la conectiva principal de una fbf A es aquella que es introducida en
último lugar en la tabla de construcción de A.

- La ariedad de una conectiva consiste en el número de fbfs que son

mencionadas en el antecedente de la cláusula que le corresponde en
la definición de fórmula bien formada.

conectiva unaria conectivas binarias

- Una fórmula atómica es cualquier fbf cuya presencia en una tabla de

formación se justifique por el uso solamente de Co.

- Una fórmula compleja o molecular es una fbf no atómica.

- Las fórmulas atómicas aparecen representadas por variables

sentenciales y reciben con frecuencia el nombre de átomos.

- Los átomos de los que consta una fórmula suelen influir de forma
decisiva en muchas de las propiedades que esa fórmula acaba
teniendo.

- La incorporación de una propiedad en los átomos de un lenguaje,

permite transmitir esa propiedad a todas las fórmulas de ese lenguaje.