Alfabeto

Lenguaje de la lgica proposicional (L Prop)

Solo hay un nico lenguaje

Alfabeto

Lenguaje de la lgica de predicados (L Pred)

No hay un nico lenguaje. El lenguaje de la lgica de predicados o
lgica de primer orden, depende de la estructura semntica que se
considere, por eso podemos distinguir:
(1) Elementos comunes en los lenguajes de primer orden
(2) Signatura
Alfabeto
(1) Elementos comunes

1. Variables proposicionales: p1, .pn,

Llamaremos al conjunto de variables VAR

1.1. Variables individuales: x1,,xn,

Llamaremos al conjunto de variables VAR

2. Constantes lgicas: T,
Llamaremos al conjunto de constantes
lgicas CONST LOG

1.2. Constantes lgicas: T,

Llamaremos al conjunto de constantes lgicas CONST LOG
1.3. Operadores lgicos: ,,,,

3. Operadores Lgicos: ,,,,

1.4. Cuantificadores: ,
4. Smbolos auxiliares: (,)
1.5. Smbolos auxiliares: (,)
1.6. Signo especial =

(2) Signatura
2.1. Conjunto REL de relatores. Donde R es un conjunto
posiblemente vaco de smbolos de relacin R1,,Rn,
A cada nmero de smbolos de relacin se asigna una aridad o
nmero de argumentos m, el cual se hace explcito escribiendo
Rn(m) .
2.2. Conjunto FUNCT de functores. Donde F es un conjunto F,
posiblemente vaco, de smbolos de funcin f1,, fn fn(m)
As como en los smbolos de relacin cada smbolo de funcin
tiene una aridad fn(m) que significa que el smbolo fn necesita de m
argumentos.
2.3. Conjunto CONST de constantes de individuo. Donde C es un
conjunto posiblemente vaco, de smbolos de constantes de
individuo c1,,cn,
Dado que un lenguaje de primer orden queda determinado de manera
nica por su signatura puede ser identificado notacionalmente como
sigue: L=<R, F,C>

Gramtica

Lenguaje de la lgica proposicional (L Prop)

Lenguaje de la lgica de predicados (L Pred)

Definicin inductiva del conjunto de frmulas

de la lgica proposicional (FORML Prop)

Definicin recursiva del conjunto de frmulas de la lgica

proposicional (FORM L Pred)

Previo:
(1) ATOM(L Prop)= {x/ x VAR PROP o bien x
CONST LOG}.

Previo:
(1)Para poder dar la definicin inductiva de las frmulas de L Pred es
preciso sealar cmo est integrado el conjunto de los trminos de L
Pred.

(2) FORM L Prop= {x/x es una frmula de L Prop} y TERML Pred= {x/ x es una expresin que representa un objeto en una
es el menor conjunto que se puede generar a semntica para L Pred}
Esto es, TERML Pred= {x/ x CONST, x VAR o bien x FUNCT}
partir de las reglas siguientes:
(2) FORML Pred= {x/x es una frmula de L Pred} y
es el menor conjunto que se puede generar a partir de las reglas
siguientes:
Paso Bsico
F1. Si ATOM entonces FORM L Prop.

Paso Bsico
F1. Si ,,n TERML Pred, P n FORML Pred; en especial:
Si, y TERML Pred, = FORML Pred.

Pasos inductivos
F2. Si FORML Prop, entonces ()FORML Prop
F3. Si , FORML Prop, entonces ( ), (
), ( ), ( ) FORML Prop.

Pasos Inductivos
F2. Si y FORML Pred, entonces (), ( ), ( ), ( ), (
) FORML Pred.
F3. Si FORML Pred, entonces (x) y (x) FORML

Observacin:
Tal y como hemos definido el conjunto de
frmulas como el menor conjunto que cumple
las reglas F1 a F3, si un conjunto Q de frmulas
QFORML Pred, cumple las mencionadas reglas,
entonces FORML PredQ, lo que significa que
todas las frmulas estn en dicho conjunto.

Observacin:
Tal y como hemos definido el conjunto de frmulas como el menor
conjunto que cumple las reglas F1 a F3, si un conjunto Q de frmulas
QFORML Pred, cumple las mencionadas reglas, entonces FORML
PredQ, lo que significa que todas las frmulas estn en dicho
conjunto.

ATOM FORM

ATOM(L Pred)= {x/x es el resultado de aplicar F1 de la formacin de

FORM L Pred}
Las Expresiones de L Pred es el conjunto: EXPR L Pred = TERM L Pred
FORM L Pred. Donde TERM L Pred FORM L Pred , esto es,
TERM L Pred FORM L Pred =
En lgica de primer orden los objetos de cuantificacin son slo los
individuos y nicamente sobre ellos se puede predicar.