Actividad 2 Romina Pelegri

Actividad 2
El lenguaje de la lógica clásica de primer orden.

ROMINA PELEGRI

Semana del 17 /04 /2020

El objetivo de esta actividad es presentar el lenguaje de la lógica clásica de primer

orden, caracterizando el vocabulario y las reglas de formación de fórmulas.

LENGUAJE LÓGICO-FORMAL
Vocabulario
Símbolos primitivos: variables predicativas (predicados): P,Q,R,S,T…
constantes de individuo: a,b,c,d…
variables de individuo: x,y,z…
conectivas: ¬, ∧, ∨, → (son constantes lógicas)
cuantificadores: ∀, ∃ (son constantes lógicas)
Símbolos auxiliares: paréntesis: (,)
Aclaración importante: Cualquier variable de individuo o cualquier constante de
individuo es un TÉRMINO DE INDIVIDUO.

Reglas de formación de fórmulas

Algunas observaciones a tener en cuenta:

• La RFF1 produce fórmulas atómicas, las cuales son del tipo: Pa, Qab, Rx, Pxy,
Qax, Rxa, etc. Es decir, las formadas por un predicado n-ario seguido de n
términos de individuo. Un predicado solo NO constituye una fórmula bien
formada del lenguaje.

1
Actividad 2 Romina Pelegri

• Las fórmulas formadas según la RFF4 se denominan fórmulas existenciales y

universales, o también fórmulas cuantificadas existencialmente y cuantificadas
universalmente.
• La RFF5 es la llamada regla de clausura. Establece que no corresponde construir
ninguna fbf en el lenguaje si no es según lo indicado en las reglas RFF1, RFF2,
RFF3 y RFF4.
• Las reglas RFF1 a RFF5 constituyen una definición recursiva de lo que es una fbf
del lenguaje; la misma proporciona un procedimiento para establecer si una
expresión dada es o no es una fbf del lenguaje, más allá de la complejidad que
pueda presentar la expresión.
• El papel de los símbolos auxiliares es delimitar subfórmulas en una fbf, es decir
delimitar el alcance de constantes lógicas y así evitar ambigüedades. Los
paréntesis deben ir en parejas: uno que abre y uno que cierra para cada
subfórmula.
• Las nociones de oración y fórmula no coinciden. Tenemos dos tipos de fórmulas:
-las fórmulas que expresan proposiciones, a las que llamamos oraciones o
sentencias. Se trata de fórmulas bien formadas que no poseen variables libres.
-las fórmulas que expresan propiedades o relaciones, a las que llamamos funciones.
• A cada predicado le corresponde un número fijo de argumentos. Disponemos de
predicados monádicos o monarios (con un único argumento) y n-ádicos o n-ários
(con uno, dos o más argumentos).
• Es importante tener en cuenta las siguientes convenciones en lo que respecta al
alcance de las conectivas:
-Las conectivas ∧ y ∨ tienen el mismo alcance.
-Las conectivas ∧ y ∨ tienen más alcance que la conectiva ¬.
-La conectiva → tiene mayor alcance que el resto de las conectivas.
-Las conectivas∧, ∨ y → tienen mayor alcance que la conectiva ¬.
• En cuanto a la relación entre los cuantificadores y las conectivas, hay que tener
en cuenta que el menor alcance le corresponde al negador. Es decir:
-La conectiva → tiene mayor alcance que los cuantificadores ∀ y ∃ .
-Las conectivas ∧ y ∨ tienen mayor alcance que los cuantificadores ∀ y∃.
-Los cuantificadores ∀ y ∃ tienen el mismo alcance que la conectiva ¬. Por eso, si en
una fórmula figuran estas constantes lógicas, el símbolo principal será el que se
encuentre más a la izquierda (salvo paréntesis).
• Nociones importantes: prefijo cuantificacional, matriz cuantificacional, variable
libre, variable ligada (Falguera & Martínez, pag. 200)

********************************************************************
TAREA: Para completar estas mínimas aclaraciones, leer el apartado V.2. El lenguaje de
un sistema de deducción natural de primer orden sin identidad, del capítulo V del libro
de Falguera & Martínez, páginas: 195 – 202. Luego, realizar la ejercitación dada a
continuación, según el ejemplo presentado.

********************************************************************
2
Actividad 2 Romina Pelegri

EJERCITACIÓN.
Dadas las siguientes fbfs de la lógica de predicados:
1. Clasificar cada fórmula
2. Establecer el alcance de los cuantificadores
3. Marcar con un círculo las variables libres (si las hay)
4. Realizar el árbol constructivo

Ejemplo: ∃x ∃y (Rx ∧ ¬ Pyx)

1. Fórmula cuantificada existencialmente o fórmula existencial. (La clasificación de
la fórmula se lleva a cabo según la constante lógica principal. Recordar las
convenciones acerca del alcance de las constantes lógicas y el uso de paréntesis).
2. Alcance de los cuantificadores:
cuantificador: alcance:
∃x ∃y (Rx ∧ ¬ Pyx)
∃y Rx ∧ ¬ Pyx
3. En esta fórmula no hay variables libres, pues todas las variables caen bajo el
alcance de los dos cuantificadores por el uso de paréntesis.
4. Árbol constructivo
∃x ∃y (Rx ∧ ¬ Pyx) FBF por R4

∃y (Rx ∧ ¬ Pyx) FBF por R4

Rx ∧ ¬ Pyx FBF por R3

FBF por R1 Rx ¬ Pyx FBF por R2

Pyx FBF por R1

a) ∀x ¬ ∃y Pxy → Qx
b) ∃x Rx ∧ ∃y Pxy
c) ∀x (Px → ∃y Rxy ) ∧ Qx
d) ¬ ∃x ∃y Pxy → Rx
e) ∀x ∀y Pxy ∧ ¬ Rx
f) ∃x ∃y ¬ ( Pxy ∨ ¬ Rx )
g) ∀x ∃y (¬ Px → ∃z ¬ Qyz )
h) ∀x ¬ ∃y ( Pxy ∧ ¬ Rx )
i) ¬ ∃x Rx ∧ Sx → ∃y Qy