Ejercicio 1 Conceptualización de Cuantificadores

Las fórmulas atómicas corresponden a predicados únicos, asociados a una lista de términos o
argumentos. Este tipo de fórmulas son expresiones que también dentro del cálculo de predicados
se pueden combinar con los operadores lógicos, tal como se hacía con las proposiciones, con el
objetivo de conformar expresiones más complejas. Los operadores lógicos son los mismos
operadores utilizados en el cálculo proposicional.
En el caso de la expresión: Andrés y Bernardo son Odontólogos, se tiene el operador

lógico y, entonces mediante la primera forma de representación se tendría:
 Oa ^ Ob, donde O representa el predicado Odontólogo y las constantes a y b

representan a Andrés y Bernardo respectivamente.
Si se tiene la expresión Alexandra y Beatriz no son Médicas, entonces se representa:
 ¬Ma ^ ¬Mb
Usando la segunda forma de representación, por ejemplo si se tiene la expresión: Natalia es

arquitecta y Natalia tiene planos. Entonces se puede formar:
 arquitecta(Natalia)  tienePlanos(Natalia)
Otros ejemplos en los cuales se forman expresiones compuestas son:
 Lógica y Algoritmia son asignaturas:
asignatura(lógica) ^ asignatura(lógica)
 El edificio no es alto:
¬alto(edificio)
Cada uno de los casos anteriores, muestra elementos contantes en su lista de argumentos, pero es
de recordar que no siempre se asocian elementos particulares. Para este caso se pueden tener
expresiones con argumentos variables tales como:
 color(x) ^ precio(x)
 colombiano(y) v chileno(y)
 nota(x)  (x>=0.0) ^ (x<=5.0)
 carro(z) ^ blanco(z)
Copyright © 2010. Ediciones Elizcom. All rights reserved.
De las anteriores expresiones, para poder particularizar, es posible sustituir un término especifico
en cada una de las ocurrencias de x,y,z. Lo cual podría representar la expresión por un objeto
en concreto de la siguiente forma respectivamente:
 color(campero) ^ precio(campero)
 colombiano(Didier) v chileno(Didier)
 nota(parcial)  (parcial>=0.0) ^ (parcial<=5.0)
 carro(mari) ^ blanco(z)
105
Cardona, Torres, Sergio Augusto. <i>Lógica matemática para ingeniería de sistemas y computación</i>, Ediciones Elizcom, 2010. ProQuest Ebook Central,
http://ebookcentral.proquest.com/lib/unadsp/detail.action?docID=3199701.
Created from unadsp on 2019-09-13 07:02:08.
ACTIVIDAD
Dadas las siguientes expresiones, representarlas con argumentos variables y determine su validez.
 x no es un numero primo, pero es un numero perfecto

 y esta a una distancia de 250 kilómetros de x
 w viaja hacia el norte si y solo si y muestra la ruta
 si w es mayor que tres y tres es mayor que z, entonces w es mayor
que z.
4.5. Sintaxis de la Lógica de Predicados LPRED
En las secciones anteriores ya se han revisado como se representan los predicados, cuáles son
sus posibles valores de verdad, los operadores lógicos que se pueden aplicar en este contexto y
cómo se relacionan los predicados. Es por ello que posible formalizar un alfabeto y la sintaxis de
esta lógica de predicados. En el Cálculo de Predicados se usan varios tipos de símbolos:
 Conjunto de elementos llamado átomos.

 Conjunto de variables: x,y,z, denotadas por las ultimas letras del alfabeto y permiten la
representación de cosas, elementos o individuos que no están definidos.
 Conjunto de constantes: a,b,c, detonadas por las primeras letras del alfabeto y permiten la
representación de cosas, elementos o individuos que están claramente determinados.
 Conectivas lógicas: ¬,∧,∨,,.
 Cuantificadores: , y los cuales hacen referencia a todos o algunos elementos de un
conjunto en particular.
 Símbolos de predicados: p,q,r..
 Funciones f,g,h
Con estos elementos es posible definir inicialmente el alcance de los cuantificadores. Si alguno de
los cuantificadores no va seguido de un paréntesis entonces su alcance llega hasta la primera letra
que se encuentra a la derecha del predicado, por ejemplo:
 x p(x)
 x p(x)  q(x)  s(x))
 x p(x) v s(x))
En las tres situaciones anteriores, el alcance solo llega hasta p(x).
Si el cuantificador antecede precede los paréntesis, su alcance abarca a toda la expresión que se
encuentra entre los paréntesis, por ejemplo:
 x (q(x)  s(x))
 x (p(x)  q(x)  s(x))
A aquellas variables en la cuales están bajo el alcance de algún cuantificador se les denomina
ligadas y en caso contrario se les denomina libres.
106
Por ejemplo son variables libres:
 p(x)
 p(x)  q(x)  s(x)
 q(x) v s(x)
Son variables ligadas:
 xy (q(x)  s(y))

 yx (p(y)  q(x)  s(x))
4.6. Cuantificador Universal
En las anteriores secciones, se trabajo con argumentos constantes y variables, de los cuales se
podría determinar o no su validez de acuerdo a un contexto especifico, esta situación implica una
particularización de los objetos, es por ello que se hace necesario generalizar de forma que se
pueda afirmar cada cosa de un universo determinado.
Hasta ahora si tuviéramos expresiones como:
 Todos los niños del barrio

 Cualquiera de las personas puede responder
 Algunos animales son peligrosos
 Todos los países tienen producto interno bruto
 Cada persona tiene una madre natural
 Ningún camión paso la prueba mecánica
 Nadie tiene un lapicero de color rojo
 Para ningún ejecutivo el tiempo es suficiente
No fuese posible expresarla con los elementos que se han explicado, pues cada una de ellas
denota una frecuencia con la cual es verdadera alguna cosa. Por lo anterior, se hace necesario
incluir elementos adicionales que permitan generalizar las expresiones. Inicialmente se analizará el
cuantificador Universal.
De acuerdo a [3], sea A una expresión, y sea x una variable. Si deseamos indicar que A es
verdadero para todos los posibles valores de x, escribiremos xA. Aquí, x se denomina
cuantificador universal, y A se denomina ámbito (alcance) del cuantificador. Se dice que la variable
x está ligada por el cuantificador. El símbolo  se lee “para todo”.
Según [2] una frase declarativa es una proposición abierta si:
1. Contiene una o más variables, y

2. no es una proposición, pero
3. se convierte en una proposición cuando las variables que aparecen en ella se reemplazan
por ciertas opciones permisibles.
La variable x de cada una de las proposiciones abiertas p(x) es una variable libre (de la
proposición abierta). Si x varia en el universo de una proposición abierta, el valor de verdad de la
proposición (que se obtiene al reemplazar cada aparición de x) puede variar.
107
A continuación se presentan dos tipos de cuantificadores universales que usan las frases
anteriormente mencionadas.
4.6.1.Cuantificador Universal Afirmativo
Las frases que comúnmente se usan para denotar el cuantificador Universal afirmativo son:
 Todos x - Todo x
 Para cada x
 Cada x
 Cada uno x
 Siempre que x
 Cualquiera x
 Para todo x
Si se desea representar por ejemplo la expresión: “Todas las personas tienen una
ilusión”. Para este caso se identifica el predicado: “tienen una ilusión”, entonces P(x)
significa que x tiene una ilusión. La palabra “todas las personas” indica que esto se aplica
para todos los x. Se formaliza:
 x P(x)
A continuación, se muestra una seria de formalizaciones de expresiones en las cuales se aplica el

cuantificador universal afirmativo.
 Todos los Chilenos comen salmón y juegan futbol
x (Chileno(x)  comesalmon(x) ^ juegafutbol(x))
 Todos los Bogotanos son Colombianos, se puede representar:
Para todo x, si x es Bogotano, entonces x es colombiano
x (Bogotano(x)  Colombiano(x))
 Siempre que el equipo gana o empata, todos quedan felices.
x (feliz(x)  equipogana(x) v equipoempata(x))

También es necesario distinguir cuando al cuantificador universal es negativo, a continuación, se

muestra esta situación.
4.6.2.Cuantificador Universal Negativo
Las frases que comúnmente se usan para denotar el cuantificador Universal negativo son:
 Para ningún x
 Ninguno
 No
108
 Nadie
 Nada
Si por ejemplo se desea representar la expresión: “ningún empleado público es menor de

edad”, En este caso “ningún empleado público” hace referencia a todo un universo de todos los
empleados y el predicado es “es menor de edad” y por lo tanto se usa para expresar una
negación
La anterior expresión se puede modificar de la siguiente manera:
 Para todo y, si y es empleado público, entonces y no es menor de

edad.
x (Ex  ¬Mx)
También los argumentos pueden estar seguidos de los predicados sin necesidad de paréntesis.
Pero para efectos de este libro, utilizaremos los paréntesis.
A continuación, se muestra una seria de formalizaciones de expresiones en las cuales se aplica el

cuantificador universal negativo.
 Para todo x, x no es empresario.
x (¬empresario(x))
 Nadie ganó el parcial de lenguaje de programación.
x (¬gano(x))
 Para ningún cantante es importante la fama o el dinero.
x (cantante(x)  fama(x) v dinero (x))
ACTIVIDAD
Dadas las siguientes expresiones, representarlas con cuantificadores universales afirmativos o

negativos, según sea el caso:
 Nadie de la familia es profesional

 Todos en la academia han viajado tanto a Ecuador como a Panamá
 Ninguno de los visitantes conocía el zoológico.
 Nada es absolutamente caliente.
 Todas las cosas se componente de materia orgánica o inorgánica.
 Todos los niños juegan con Mirus
 Cualquiera de los estudiantes o puede realizar la pasantía o su
trabajo de investigación.
 Siempre que se viaja o se enferma o se pone de mal humor.
109
4.7. Cuantificador Existencial
Es otro tipo de cuantificador dentro del cálculo de predicados, el cual indica que algún o algunos
valores son verdaderos dentro de un dominio o contexto específico.
De acuerdo a [3], sea A una expresión, y sea x una variable. Si deseamos indicar que A es
verdadero para cuando menos un valor de x, escribiremos xA. Esta frase se lee “existe un x tal
que A”. Aquí, xA se denomina cuantificador existencial, y se dice que A es el ámbito (alcance) del
cuantificador existencial. Se dice que la variable x está ligada por el cuantificador. El símbolo  se
lee “existe al menos”.
Algunas de las frases con la que se identifica generalmente este cuantificador son:
 Existe al menos un x
 Para algún x
 Para algunos x
 Existe un x tal que
 Algunos x
 Cuando menos un x
Por ejemplo la expresión “para algún x P(x)”, se puede representar de la siguiente manera:
“para algún x P(x)”, entonces xp(x)
Por ejemplo si se quiere representar la expresión: “Existe al menos un mexicano que

escribe poemas y es político”, se puede formalizar de la siguiente manera:
x (Mexicano(x)  escribepoema(x) ^ politico(x))
Por ejemplo si se desea representar la expresión: “Algunos estudiantes son

deportistas”, se podría reestructurar y representar de la siguiente manera:
"Existe por lo menos un x tal que, x es universitario y x es deportista”.
x (Universitario(x) ^ deportista (x))
A los anteriores casos se les denomina representaciones existenciales afirmativas, pero también se
tienen expresiones existencias negativas como por ejemplo: “Algunos profesores no
tienen Doctorado”. Se puede representar de la siguiente manera:
“Existe por lo menos un x tal que, x es profesor y x no tiene Doctorado”.
x (profesor(x) ^ ¬doctorado(x))
En la siguiente sección de este libro, se determinarán una serie de reglas de equivalencia entre
cuantificadores universales y existenciales.
110
ACTIVIDAD
Dadas las siguientes expresiones, representarlas con cuantificadores existenciales afirmativos o

negativos, según sea el caso:
 Existe al menos un Ingeniero o un veterinario en la familia.

 Algunos pájaros cantan en la madrugada y de noche
 Para algunos campesinos el invierno no es un problema.
 Cuando menos un Español es hincha del Zaragoza.
 Algunos niños juegan con el gato, a pesar de ser peligroso.
4.8. Equivalencias entre cuantificadores
En las anteriores secciones se mostró que las proposiciones que son cuantificadas (universales o
existenciales) pueden ser tanto afirmativas como negativas. Se pueden representar entre otras las
siguientes:
Proposición Fórmula
Para todo x es x p(x)
Ningún x es x ¬p(x)
Algún x es x p(x)
Algún x no es x ¬p(x)
Se sabe que la verdad de una de ellas se sigue la falsedad de su contradictoria. Si se niega

cualquiera de ellas se obtiene una equivalencia [13]. Cuando se intercambian cuantificadores
también se cambia el cuantificador y su signo.
Proposición Fórmula equivalente

x p(x) ¬x ¬p(x)
x ¬p(x) ¬x p(x)
x p(x) ¬x ¬p(x)
x ¬p(x) ¬x p(x)
Por ejemplo si se tienen las expresiones:

 Todos son hombres equivale a decir es falso que algunos no sean

hombres.
 Ninguno es hombre equivale a decir es falso que algunos sean
hombres
 Algunos son hombres equivale a decir es falso que ninguno sea
hombre
 Algunos nos son hombres equivale a decir es falso que todos sean
hombres.
Existen otros tipos de equivalencias llamadas de oposición aristotélica, a continuación se muestran

las equivalencias.
111
x (p(x)  q(x)) ¬x (p(x) ^ ¬q(x))
x (p(x)  ¬q(x)) ¬x (p(x) ^ q(x))
x (p(x) ^ q(x)) ¬x (p(x)  ¬q(x))
x (p(x) ^ ¬q(x)) ¬x (p(x)  q(x))
Si se quiere verificar la validez de la equivalencia entre:
x (p(x)  q(x)) y ¬x (p(x) ^ ¬q(x))
Se pueden aplicar los siguientes pasos:
1. x (p(x)  q(x))
2. ¬x ¬(p(x)  q(x))
3. ¬x ¬(¬p(x) v q(x))
4. ¬x (p(x) ^ ¬q(x))
Ambas fórmulas entonces son lógicamente equivalentes y conservan su propiedad de validez.
Otras equivalencias lógicas que se usan en el cálculo de predicados son las siguientes:

x ¬¬(p(x)) x ¬¬(p(x))
x ¬ (p(x) ^ q(x)) x (¬p(x) v ¬q(x))
x ¬ (p(x) v q(x)) x (¬p(x) ^ ¬q(x))
ACTIVIDAD
Exprese las siguientes expresiones en lenguaje natural, de forma que se apliquen las equivalencias
explicadas en esta sección.
 Ninguno es egresado de odontología

 Todos son profesionales
 Algunos tienen cedula de ciudadanía
Verifique que las siguientes proposiciones son equivalentes:

 x (p(x)  ¬q(x))  ¬x (p(x) ^ q(x))

 x (p(x) ^ q(x))  ¬x (p(x)  ¬q(x))
Con los elementos conceptuales de este capítulo, se considera que es posible que el estudiante
pueda trabajar con los temas fundamentales de la programación lógica.
112
5. PROGRAMACION LÓGICA
Al finalizar el estudio de esté capítulo el estudiante estará en condiciones de:
 Conocer los elementos fundamentales y las generalidades del lenguaje de programación

Prolog.
 Entender el significado de secciones, hechos y reglas asociados al lenguaje de
programación Prolog.
 Conocer los elementos sintácticos del lenguaje de programación Prolog y cómo es su
estructura dentro de la solución de un problema.
 Entender el concepto de unificación en programación lógica.
 Aplicar concepto de recursividad en el contexto de la programación lógica.
 Identificar los elementos fundamentales de un mini sistema experto.
5.1. Introducción
Alain Colmerauer desarrolló la primera versión oficial del lenguaje Prolog, al comienzo de los años
70, en la Universidad del Marseilles, Francia. El lenguaje es muy usado para el desarrollo de
sistemas expertos, aunque su potencial se extiende a muchos problemas de Inteligencia Artificial y
Algoritmia.
Los lenguajes de programación más usados comercialmente son los procedimentales, como C++,
C# y Java, entre otros. Con ellos se especifica cómo se debe resolver un problema. Estos
lenguajes usan sentencias imperativas, órdenes. Por ejemplo:
haga i igual a 0
imprima el valor de x
En los lenguajes procedimentales (también llamados imperativos) se tienen entre otras

características:
 Las sentencias son básicamente órdenes

 Están más orientados a <<como>> obtener los resultados.
El lenguaje Prolog, en cambio, es declarativo. En los lenguajes declarativos se especifica qué se

quiere y no cómo lograrlo. El computador debe encontrar la manera de realizar la tarea. Estos
lenguajes usan aseveraciones, en lugar de sentencias imperativas. Las aseveraciones pueden ser
hechos o reglas. Por ejemplo:
Pedro es el padre de Juan

x es el padre de y, si y es hijo de x
En los lenguajes declarativos se tienen entre otras las siguientes características:
 Las sentencias son básicamente afirmaciones.

 Están más orientados a <<qué>> resultados se desean obtener.
113

Ejercicio 1 Conceptualización de Cuantificadores

Cargado por

Copyright:

Formatos disponibles

Ejercicio 1 Conceptualización de Cuantificadores

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Ejercicio 1 Conceptualización de Cuantificadores

Cargado por

Copyright:

Formatos disponibles

Las fórmulas atómicas corresponden a predicados únicos, asociados a una lista de términos o

En el caso de la expresión: Andrés y Bernardo son Odontólogos, se tiene el operador

 Oa ^ Ob, donde O representa el predicado Odontólogo y las constantes a y b

Si se tiene la expresión Alexandra y Beatriz no son Médicas, entonces se representa:

Usando la segunda forma de representación, por ejemplo si se tiene la expresión: Natalia es

Otros ejemplos en los cuales se forman expresiones compuestas son:

 Lógica y Algoritmia son asignaturas:

 x no es un numero primo, pero es un numero perfecto

4.5. Sintaxis de la Lógica de Predicados LPRED

 Conjunto de elementos llamado átomos.

En las tres situaciones anteriores, el alcance solo llega hasta p(x).

Son variables ligadas:

 xy (q(x)  s(y))

4.6. Cuantificador Universal

Hasta ahora si tuviéramos expresiones como:

 Todos los niños del barrio

x está ligada por el cuantificador. El símbolo  se lee “para todo”.

Según [2] una frase declarativa es una proposición abierta si:

1. Contiene una o más variables, y

4.6.1.Cuantificador Universal Afirmativo

A continuación, se muestra una seria de formalizaciones de expresiones en las cuales se aplica el

 Todos los Chilenos comen salmón y juegan futbol

x (Chileno(x)  comesalmon(x) ^ juegafutbol(x))

 Todos los Bogotanos son Colombianos, se puede representar:

Para todo x, si x es Bogotano, entonces x es colombiano

 Siempre que el equipo gana o empata, todos quedan felices.

x (feliz(x)  equipogana(x) v equipoempata(x))

También es necesario distinguir cuando al cuantificador universal es negativo, a continuación, se

4.6.2.Cuantificador Universal Negativo

Si por ejemplo se desea representar la expresión: “ningún empleado público es menor de

La anterior expresión se puede modificar de la siguiente manera:

 Para todo y, si y es empleado público, entonces y no es menor de

A continuación, se muestra una seria de formalizaciones de expresiones en las cuales se aplica el

 Para todo x, x no es empresario.

 Nadie ganó el parcial de lenguaje de programación.

 Para ningún cantante es importante la fama o el dinero.

x (cantante(x)  fama(x) v dinero (x))

Dadas las siguientes expresiones, representarlas con cuantificadores universales afirmativos o

 Nadie de la familia es profesional

“para algún x P(x)”, entonces xp(x)

Por ejemplo si se quiere representar la expresión: “Existe al menos un mexicano que

x (Mexicano(x)  escribepoema(x) ^ politico(x))

Por ejemplo si se desea representar la expresión: “Algunos estudiantes son

"Existe por lo menos un x tal que, x es universitario y x es deportista”.

x (Universitario(x) ^ deportista (x))

“Existe por lo menos un x tal que, x es profesor y x no tiene Doctorado”.

Dadas las siguientes expresiones, representarlas con cuantificadores existenciales afirmativos o

 Existe al menos un Ingeniero o un veterinario en la familia.

4.8. Equivalencias entre cuantificadores

Se sabe que la verdad de una de ellas se sigue la falsedad de su contradictoria. Si se niega

Proposición Fórmula equivalente

Por ejemplo si se tienen las expresiones:

 Todos son hombres equivale a decir es falso que algunos no sean

Existen otros tipos de equivalencias llamadas de oposición aristotélica, a continuación se muestran

Si se quiere verificar la validez de la equivalencia entre:

x (p(x)  q(x)) y ¬x (p(x) ^ ¬q(x))

Se pueden aplicar los siguientes pasos:

Ambas fórmulas entonces son lógicamente equivalentes y conservan su propiedad de validez.

Proposición Fórmula equivalente

 Ninguno es egresado de odontología