Está en la página 1de 2

CAPITULO N° 12

SINTAXIS DE LOS LENGUAJES DE PRIMER ORDEN

1. Un lenguaje (o alfabeto o tipo de semejanza) es un conjunto formado por los siguientes elementos:

a. Nombres propios, que son expresiones que usamos para referirnos a un objeto determinado.
b. Nombres comunes y adjetivos que utilizamos para decir que un objeto tiene cierta propiedad.
c. Expresiones relacionales, esto es, expresiones que usamos para referirnos a relaciones o para decir que un
individuo está relacionado de algún modo con otro.
d. Una expresión relacional especial que nombre a la relación de identidad “es igual a”.
e. Expresiones que usamos para hablar de la totalidad o una parte del dominio, que se denominan cuantificadores ∀
(universal) y el , ∃ (existencial)

2. Formula bien formada: A partir de las formulas atómicas podemos obtener todas las fórmulas de un lenguaje L. Una
fórmula de L, o simplemente, una fórmula es una expresión que se obtiene de acuerdo con las siguientes reglas:

a. Toda fórmula atómica de L es una formula.


b. Si α es una formula, también lo es ~α.
c. Si α y β son formulas, también lo son (α ^ β), (α v β), (α→β) y (α↔β)
d. Si α es una formula y x es una variable, ∀xa y ∃xa también son fórmulas.

3. Variables Libres y Ligadas.

Una variable es ligada cuando dada una fórmula en la que tal variable aparece, ésta forma parte de una subfórmula del tipo
∀xβ y ∃xβ, en cuyo caso decimos que está ligada por el cuantificador universal o existencial. Y al contrario, cuando la
aparición de una formula no es ligada, decimos que es una variable libre. Por ejemplo:

Una formula con una o más variables libes es una fórmula abierta. Esta clase de fórmulas no tiene sentido de verdad o
falsedad. Por ejemplo.

V(x) (F(x) → H(z)) FBF ABIERTA

Un formula sin variables libres es una formula cerrada o sentencia. Esta clase de fórmulas pueden interpretarse
semánticamente como verdaderas o falsas. Por ejemplo

∀x (P(x ) → ∃y R(x , y )) FBF CERRADA


CAPITULO N° 13
SEMÁNTICA DE LOS LENGUAJES DE PRIMER ORDEN

1. Estructura

Para interpretar un lenguaje de primer orden debemos hacer dos cosas: fijar un conjunto A no vacío de objetos, e
interpretar cada uno de los símbolos propios. Así, una interpretación para un lenguaje de primer orden L consiste en un
par:

A = <A, F>, Al que llamamos una estructura para L donde:

a. A es un conjunto no vacío, llamado el dominio o el universo de la estructura.


b. F es una función cuyo dominio es el conjunto de los símbolos propios de L y tal que:
b.1 si P es un símbolo de predicado de L, F(P) es un subconjunto de A
b.2 si R es un símbolo relacional n-ario de L (n>1), F(R) es una relación n-aria de A
b.3 si c es una constante de L, F(c) es un elemento de A

2. Verdad en una estructura

El cuantificador universal significa “para todo objeto del dominio de la estructura” y el cuantificador existencial “para
algún objeto del dominio de la estructura”. Así, si el lenguaje tiene el símbolo de predicado P, la sentencia VxPx es
verdadera es una estructura A si y solo si todos los objetos del dominio de la estructura A pertenecen al conjunto que
interpreta a P, es decir, si Pa es igual al dominio de A. Análogamente, la sentencia ∃xPx es verdadera en una estructura A si
y solo si hay al menos un objeto del dominio de la estructura A que pertenece a Pa

CAPITULO N° 14
VERDAD, EQUIVALENCIA Y CONSECUENCIA LOGICA

1 Verdad Lógica

Decimos que una sentencia de un lenguaje de primer orden L, es universalmente valida, lógicamente valida, o simplemente
una verdad lógica, si es verdadera en toda la estructura para L.

2 Consecuencia logica

Decimos que un conjunto Γ de sentencias de un lenguaje de primer orden L es satisfacible si existe una estructura de A en
la que son verdaderas todas las sentencias de Γ. En tal caso decimos que A satisface a Γ, o que es un modelo de Γ y se
escribe:

A╞Γ

Un conjunto de sentencias Γ es insatisfacible sino es satisfacible, es decir, si en toda la estructura al menos una sentencia
de Γ es falsa.