enriquecimiento del conocimiento previo en programación lógica ...

Apéndice ALógica de Primer OrdenA continuación presentamos los conceptos más importantes del lenguaje utilizado en la lógica de primerorden. El alfabeto de este lenguaje se compone de:• Conjunto de constantes: a, b, c, . . . , rojo, 34.5, 17. También llamado término. Cada constante estarárepresentada por una cadena alfanumérica cuyo primer carácter es una letra minúscula, o por unnúmero real.• Conjunto de variables: A, B, . . .. También llamado término. Cada variable estará representada poruna cadena alfanumérica cuyo primer carácter es una letra mayúscula.• Conjunto de símbolos de función: f, g, . . ..• Conjunto no vacío de símbolos de predicado: padre (juan, maria). También llamado término.• Conjunto de conectivos lógicos: ¬, ∧, ∨, →, ↔• Dos cuantificadores: ∃(existencial), ∀ (universal)• Símbolos de puntuación: (, ) , . . .A partir del alfabeto anterior se construyen fórmulas bien formadas ó fbf.• Las fbf más pequeñas que se pueden formar son los átomo, construidos con un sólo predicado, p.e.p (X, Y ). También son llamados literales.• La negación de un átomo también es una fórmula: ¬p (X, Y ). Llamada literal.• Si φ y ϕ son fórmulas, entonces φ ∧ ϕ, φ ∨ ϕ, φ → ϕ y φ ↔ ϕ son fórmulas.• Si X es una variable y φ es una fórmula, entonces X∃φ y X∀φ son fórmulas.• Una cláusula es una disyunción de literales, por ejemplo:(L 1 ∨ L 2 ∨ .... ∨ ¬L 1 ∨ ¬L 2 ∨ ...) ≡(L 1 , L 2 , ..., ¬L 1 , ¬L 2 ) ≡L 1 ∧ L 2 ∧ ... ∧ L n → L 1 ∨ L 2 ∨ ... ∨ L n19