¿Qué es la formalización de predicados?

¿Qué es la formalización de predicados?

Es un proceso de la lógica de primer orden que consiste en traducir enunciados del lenguaje natural (español, inglés, etc.) a un lenguaje formal con cuantificadores, variables, predicados y conectores lógicos.
De esta forma, las oraciones se expresan de manera rigurosa y sin ambigüedades.

---

🔹 Elementos básicos

• Variables: representan individuos (x, y, z...).

• Predicados: expresan propiedades o relaciones (Ej: Humano(x), MayorQue(x,y)).

• Cuantificadores:

  • ∀ → “para todo” (universal)

  • ∃ → “existe al menos uno” (existencial)

• Conectores lógicos:

  • ∧ (y), ∨ (o), → (implica), ¬ (no).

---

🔹 Ejemplo 1

Frase en lenguaje natural:

"Todos los humanos son mortales."

Formalización:

$$\forall x(Humano(x)\to Mortal(x))$$

Lectura: Para todo individuo x, si x es humano, entonces x es mortal.

---

🔹 Ejemplo 2

Frase en lenguaje natural:

"Existe un estudiante que estudia matemáticas."

Formalización:

∃x (Estudiante(x)∧Estudia(x,Matemaˊticas))∃x \, (Estudiante(x) ∧ Estudia(x, Matemáticas))∃x(Estudiante(x)∧Estudia(x,Matemaˊticas))

Lectura: Hay al menos un x tal que x es estudiante y estudia matemáticas.

---

🔹 Ejemplo 3

Frase en lenguaje natural:

"Ningún perro es un gato."

Formalización:

$$\forall x(Perro(x)\to \neg Gato(x))$$

Lectura: Para todo x, si x es un perro, entonces no es un gato.