Programa de Ingeniería de Sistemas - Asignatura

Formalización e inferencia
en lógica de predicados
Diego Alejandro Sandoval Fernández
 Programa de Ingeniería de Sistemas - Asignatura

Formalización
Para la formalización de proposiciones en la lógica de predicados se deben tomar
en cuenta los conectores de la lógica proposicional (¬ ∧ ∨ → ↔) agregando
también el uso de los predicados, constantes, variables y cuantificadores
(universal (∀) y existencial (∃)). Para explicar mejor estas formalizaciones usaré
3 ejemplos.

Ejemplo 1:
 Todos los estudiantes son puntuales.
∀(x)(E(x) →P(x))
 Cuantificador universal: Todos (∀)
 Variable de individuo: se utiliza una variable de individuo porque aunque se
conoce que todos los estudiantes son puntuales, no se conoce cuantos son en
especifico, por lo cual es algo que varia: (x)
 Predicados: en este caso los predicados representan propiedades de la
variable de individuo: Estudiantes (E) y Puntuales (P)
Programa de Ingeniería de Sistemas - Asignatura

Ejemplo 2:
 Algunos estudiantes vinieron a clase, por lo tanto esos estudiantes tendrán
puntos.
∃x ∈ (E ∧ C) → P(x)
 Cuantificador existencial: Algunos (∃)
 Variable de individuo: Al igual que en el ejemplo anterior se conoce que
algunos estudiantes vinieron a clase, pero no se sabe cuantos exactamente:
(x)
 Predicados: también en este ejemplo, los predicados representan
propiedades de la variable de individuo: Estudiantes (E), Los que asistieron a
clase (C) y los que tienen puntos (P)
 Programa de Ingeniería de Sistemas - Asignatura

Ejemplo 3:
 Camilo le ayudó a Juan
A(c,j)
En este ejemplo no hay cuantificador ni variable de individuo porque hay dos
individuos los cuales se conocen, por lo cual son constantes.
 Constantes de individuo: Camilo (c) y Juan (j)
 Predicado: En este ejemplo el predicado representa una relación entre las
constantes de individuo: Ayudó (A)
 Programa de Ingeniería de Sistemas - Asignatura

Inferencia
Las reglas de inferencia en la lógica de predicados son las mismas que en la
lógica proposicional, con la diferencia de que se le deben agregar los
cuantificadores.
Un ejemplo podría ser, usando la regla de silogismo hipotético:
Todos los que no estudian, pierden el parcial.
Todos los que pierden el parcial, pierden el corte.
Todos los que no estudian, pierden el corte.

∀(x)(N(x) →P(x)) Los que no estudian: N

∀(x)(P(x) →C(x)) Los que pierden el parcial: P
∀(x)(N(x) →C(x)) Los que pierden el corte: C