Grado en

Ingeniera
Informatica

Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
Formalizacion del lenguaje natural en logica
razonamientos

Logicas de orden de predicados

superior

Grado en Ingeniera Informatica

Octubre 2010
 Grado en
Ingeniera
Informatica Esquema de la sesion
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores 1 Estrategias
Formalizacion de
razonamientos

Logicas de orden
superior
 Grado en
Ingeniera
Informatica Esquema de la sesion
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores 1 Estrategias
Formalizacion de
razonamientos

Logicas de orden
superior 2 Patrones
 Grado en
Ingeniera
Informatica Esquema de la sesion
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores 1 Estrategias
Formalizacion de
razonamientos

Logicas de orden
superior 2 Patrones

3 Negacion de frases que contienen cuantificadores

 Grado en
Ingeniera
Informatica Esquema de la sesion
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores 1 Estrategias
Formalizacion de
razonamientos

Logicas de orden
superior 2 Patrones

3 Negacion de frases que contienen cuantificadores

4 Formalizacion de razonamientos
 Grado en
Ingeniera
Informatica Esquema de la sesion
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores 1 Estrategias
Formalizacion de
razonamientos

Logicas de orden
superior 2 Patrones

3 Negacion de frases que contienen cuantificadores

4 Formalizacion de razonamientos

5 Logicas de orden superior

 Grado en
Ingeniera
Informatica

Estrategias

Patrones 1 Estrategias
Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos
2 Patrones
Logicas de orden
superior

3 Negacion de frases que contienen cuantificadores

4 Formalizacion de razonamientos

5 Logicas de orden superior

 Grado en
Ingeniera
Informatica Objetivo
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior
 Grado en
Ingeniera
Informatica Objetivo
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior
Formalizar una frase del lenguaje natural en logica de predicados,
esto consiste en encontrar una expresion que la represente fielmente
en el lenguaje formal.
 Grado en
Ingeniera
Informatica Objetivo
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior
Formalizar una frase del lenguaje natural en logica de predicados,
esto consiste en encontrar una expresion que la represente fielmente
en el lenguaje formal.
No hay procedimientos generales para la formalizacion, pero se
pueden determinar algunas estrategias, como las que vamos a
indicar a continuacion.
 Grado en
Ingeniera
Informatica Estrategias iniciales
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior
 Grado en
Ingeniera
Informatica Estrategias iniciales
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores
Si la frase que se quiere formalizar no tiene una estructura
Formalizacion de
razonamientos sintactica facilmente reconocible, se puede intentar reescribirla en
Logicas de orden el lenguaje natural hasta llegar a una frase con una estructura mas
superior
sencilla y que mantenga el mismo significado.
 Grado en
Ingeniera
Informatica Estrategias iniciales
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores
Si la frase que se quiere formalizar no tiene una estructura
Formalizacion de
razonamientos sintactica facilmente reconocible, se puede intentar reescribirla en
Logicas de orden el lenguaje natural hasta llegar a una frase con una estructura mas
superior
sencilla y que mantenga el mismo significado.
Tenemos que definir claramente el dominio o los dominios a los
que pertenecen los objetos que vamos a usar.
 Grado en
Ingeniera
Informatica Estrategias iniciales
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores
Si la frase que se quiere formalizar no tiene una estructura
Formalizacion de
razonamientos sintactica facilmente reconocible, se puede intentar reescribirla en
Logicas de orden el lenguaje natural hasta llegar a una frase con una estructura mas
superior
sencilla y que mantenga el mismo significado.
Tenemos que definir claramente el dominio o los dominios a los
que pertenecen los objetos que vamos a usar.
Ejemplo: Todos los hombres son mortales
 Grado en
Ingeniera
Informatica Estrategias iniciales
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores
Si la frase que se quiere formalizar no tiene una estructura
Formalizacion de
razonamientos sintactica facilmente reconocible, se puede intentar reescribirla en
Logicas de orden el lenguaje natural hasta llegar a una frase con una estructura mas
superior
sencilla y que mantenga el mismo significado.
Tenemos que definir claramente el dominio o los dominios a los
que pertenecen los objetos que vamos a usar.
Ejemplo: Todos los hombres son mortales
Si el dominio son los hombres no hace falta el predicado P(x)=x
es hombre.
 Grado en
Ingeniera
Informatica Estrategias iniciales
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores
Si la frase que se quiere formalizar no tiene una estructura
Formalizacion de
razonamientos sintactica facilmente reconocible, se puede intentar reescribirla en
Logicas de orden el lenguaje natural hasta llegar a una frase con una estructura mas
superior
sencilla y que mantenga el mismo significado.
Tenemos que definir claramente el dominio o los dominios a los
que pertenecen los objetos que vamos a usar.
Ejemplo: Todos los hombres son mortales
Si el dominio son los hombres no hace falta el predicado P(x)=x
es hombre.
Si el dominio es el de los seres vivos, sin embargo, s hace falta.
 Grado en
Ingeniera
Informatica Estrategias en frases
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior
 Grado en
Ingeniera
Informatica Estrategias en frases
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
En una frase necesitamos determinar:
razonamientos

Logicas de orden
superior
 Grado en
Ingeniera
Informatica Estrategias en frases
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
En una frase necesitamos determinar:
razonamientos
Las constantes, que son objetos concretos de uno o mas dominios.
Logicas de orden
superior
 Grado en
Ingeniera
Informatica Estrategias en frases
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
En una frase necesitamos determinar:
razonamientos
Las constantes, que son objetos concretos de uno o mas dominios.
Logicas de orden
superior
Las variables, que son objetos genericos de uno o mas dominios.
 Grado en
Ingeniera
Informatica Estrategias en frases
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
En una frase necesitamos determinar:
razonamientos
Las constantes, que son objetos concretos de uno o mas dominios.
Logicas de orden
superior
Las variables, que son objetos genericos de uno o mas dominios.
Las funciones de aridad n > 0 , que representan como un cierto
objeto queda determinado por otros (u otro).
 Grado en
Ingeniera
Informatica Estrategias en frases
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
En una frase necesitamos determinar:
razonamientos
Las constantes, que son objetos concretos de uno o mas dominios.
Logicas de orden
superior
Las variables, que son objetos genericos de uno o mas dominios.
Las funciones de aridad n > 0 , que representan como un cierto
objeto queda determinado por otros (u otro).
Los predicados monadicos que representan propiedades de un
objeto.
 Grado en
Ingeniera
Informatica Estrategias en frases
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
En una frase necesitamos determinar:
razonamientos
Las constantes, que son objetos concretos de uno o mas dominios.
Logicas de orden
superior
Las variables, que son objetos genericos de uno o mas dominios.
Las funciones de aridad n > 0 , que representan como un cierto
objeto queda determinado por otros (u otro).
Los predicados monadicos que representan propiedades de un
objeto.
Los predicados de aridad n > 0 que representan relaciones entre
objetos.
 Grado en
Ingeniera
Informatica Primeros ejemplos de frases
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior
 Grado en
Ingeniera
Informatica Primeros ejemplos de frases
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de Ejemplo: Todos los hombres son mortales

razonamientos

Logicas de orden
superior
 Grado en
Ingeniera
Informatica Primeros ejemplos de frases
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de Ejemplo: Todos los hombres son mortales

razonamientos

Logicas de orden Con el dominio de los hombres: x M(x) donde M(x) significa x es
superior
mortal.
 Grado en
Ingeniera
Informatica Primeros ejemplos de frases
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de Ejemplo: Todos los hombres son mortales

razonamientos

Logicas de orden Con el dominio de los hombres: x M(x) donde M(x) significa x es
superior
mortal.
Con el dominio de los seres vivos x (H(x) M(x)) donde H(x)
significa x es hombre.
 Grado en
Ingeniera
Informatica Primeros ejemplos de frases
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de Ejemplo: Todos los hombres son mortales

razonamientos

Logicas de orden Con el dominio de los hombres: x M(x) donde M(x) significa x es
superior
mortal.
Con el dominio de los seres vivos x (H(x) M(x)) donde H(x)
significa x es hombre.
Ejemplo: Existen hombres inmortales
 Grado en
Ingeniera
Informatica Primeros ejemplos de frases
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de Ejemplo: Todos los hombres son mortales

razonamientos

Logicas de orden Con el dominio de los hombres: x M(x) donde M(x) significa x es
superior
mortal.
Con el dominio de los seres vivos x (H(x) M(x)) donde H(x)
significa x es hombre.
Ejemplo: Existen hombres inmortales
En el primer caso: x M(x).
 Grado en
Ingeniera
Informatica Primeros ejemplos de frases
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de Ejemplo: Todos los hombres son mortales

razonamientos

Logicas de orden Con el dominio de los hombres: x M(x) donde M(x) significa x es
superior
mortal.
Con el dominio de los seres vivos x (H(x) M(x)) donde H(x)
significa x es hombre.
Ejemplo: Existen hombres inmortales
En el primer caso: x M(x).
En el segundo: x (H(x) M(x)).
 Grado en
Ingeniera
Informatica Estrategias finales
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior
 Grado en
Ingeniera
Informatica Estrategias finales
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior Identificadas las conectivas lingusticas y los cuantificadores
(universales o existenciales) debemos sustituirlas por los
conectivos y los cuantificadores de la logica de primer orden.
 Grado en
Ingeniera
Informatica Estrategias finales
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior Identificadas las conectivas lingusticas y los cuantificadores
(universales o existenciales) debemos sustituirlas por los
conectivos y los cuantificadores de la logica de primer orden.
Para formalizar un razonamiento necesitamos formalizar el
conjunto de sus premisas y de su conclusion.
 Grado en
Ingeniera
Informatica Observaciones y ejemplos
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior
 Grado en
Ingeniera
Informatica Observaciones y ejemplos
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior

1. Ya que la formalizacion de una frase depende del dominio o de los

dominios elegidos, se pueden obtener formalizaciones distintas de
un mismo enunciado.
 Grado en
Ingeniera
Informatica Ejemplo primero
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior
 Grado en
Ingeniera
Informatica Ejemplo primero
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de Para formalizar la frase:

razonamientos

Logicas de orden Todos los ninos juegan con la pelota,

superior

podemos definir los predicados

J(x) : x juega con la pelota

y
J(x, y) : x juega con el juguete y.
 Grado en
Ingeniera
Informatica Ejemplo primero
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior
 Grado en
Ingeniera
Informatica Ejemplo primero
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
a) Sea D1 el conjunto de los ninos. Entonces se obtiene xJ(x).
razonamientos

Logicas de orden
superior
 Grado en
Ingeniera
Informatica Ejemplo primero
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
a) Sea D1 el conjunto de los ninos. Entonces se obtiene xJ(x).
razonamientos
b) Sean D2 el conjunto de las personas y sea N(x) : x es un nino. En
Logicas de orden
superior este caso se obtiene x(N(x) J(x)).
 Grado en
Ingeniera
Informatica Ejemplo primero
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
a) Sea D1 el conjunto de los ninos. Entonces se obtiene xJ(x).
razonamientos
b) Sean D2 el conjunto de las personas y sea N(x) : x es un nino. En
Logicas de orden
superior este caso se obtiene x(N(x) J(x)).
c) Sean D1 el conjunto de los ninos y D2 el conjunto de los juegos.
Entonces p = la pelota es una constante en D2 y obtenemos la
formalizacion x J(x, p).
 Grado en
Ingeniera
Informatica Ejemplo primero
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
a) Sea D1 el conjunto de los ninos. Entonces se obtiene xJ(x).
razonamientos
b) Sean D2 el conjunto de las personas y sea N(x) : x es un nino. En
Logicas de orden
superior este caso se obtiene x(N(x) J(x)).
c) Sean D1 el conjunto de los ninos y D2 el conjunto de los juegos.
Entonces p = la pelota es una constante en D2 y obtenemos la
formalizacion x J(x, p).
d) Sean D1 el conjunto de las personas y D2 el conjunto de los juegos.
Entonces p = la pelota es una constante en D2 y, usando el
predicado N(x) : x es un nino obtenemos la formalizacion
x (N(x) J(x, p)).
 Grado en
Ingeniera
Informatica Mas observaciones y ejemplos
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior
 Grado en
Ingeniera
Informatica Mas observaciones y ejemplos
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior

2. Toda funcion se puede representar mediante un predicado con un

argumento mas que la funcion. Ademas, las funciones simplifican
la estructura de la formula obtenida.
 Grado en
Ingeniera
Informatica Ejemplo segundo
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior
 Grado en
Ingeniera
Informatica Ejemplo segundo
Estrategias

Patrones

Negacion de frases Consideremos la frase:

que contienen
cuantificadores

Formalizacion de
Todo padre quiere mucho a sus hijos.
razonamientos

Logicas de orden
superior
 Grado en
Ingeniera
Informatica Ejemplo segundo
Estrategias

Patrones

Negacion de frases Consideremos la frase:

que contienen
cuantificadores

Formalizacion de
Todo padre quiere mucho a sus hijos.
razonamientos

Logicas de orden
superior a) Formalizacion con predicados.
 Grado en
Ingeniera
Informatica Ejemplo segundo
Estrategias

Patrones

Negacion de frases Consideremos la frase:

que contienen
cuantificadores

Formalizacion de
Todo padre quiere mucho a sus hijos.
razonamientos

Logicas de orden
superior a) Formalizacion con predicados.
Podemos definir el dominio D de las personas y los predicados

P(x, y) : x es el padre de y,

y
Q(x, y) : x quiere mucho a y.
Con estas definiciones, la formalizacion sera

xy(P(x, y) Q(x, y)).

 Grado en
Ingeniera
Informatica Ejemplo segundo
Estrategias

Patrones
b) Formalizacion con funciones.
Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior
 Grado en
Ingeniera
Informatica Ejemplo segundo
Estrategias

Patrones
b) Formalizacion con funciones.
Negacion de frases
que contienen Podemos definir el dominio D de las personas, la funcion
cuantificadores

Formalizacion de
razonamientos f (x) : el padre de x,
Logicas de orden
superior
y
Q(x, y) : x quiere mucho a y.
Con estas definiciones, la nueva formalizacion sera

x(Q(f (x), x)).

Notar que la formalizacion se ha simplificado y que la funcion de

un argumento f (x) sustituye al predicado binario P(x, y).
 Grado en
Ingeniera
Informatica Ejemplo segundo
Estrategias

Patrones
b) Formalizacion con funciones.
Negacion de frases
que contienen Podemos definir el dominio D de las personas, la funcion
cuantificadores

Formalizacion de
razonamientos f (x) : el padre de x,
Logicas de orden
superior
y
Q(x, y) : x quiere mucho a y.
Con estas definiciones, la nueva formalizacion sera

x(Q(f (x), x)).

Notar que la formalizacion se ha simplificado y que la funcion de

un argumento f (x) sustituye al predicado binario P(x, y).
Observar tambien que el hijo de x no es una funcion, ya que un
mismo padre puede tener mas que un hijo y, por tanto, el termino
asociado a x (al padre) no quedara unvocamente determinado.
 Grado en
Ingeniera
Informatica

Estrategias

Patrones 1 Estrategias
Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos
2 Patrones
Logicas de orden
superior

3 Negacion de frases que contienen cuantificadores

4 Formalizacion de razonamientos

5 Logicas de orden superior

 Grado en
Ingeniera
Informatica Universal afirmativo
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior
 Grado en
Ingeniera
Informatica Universal afirmativo
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores
x(1 2 ),
Formalizacion de
razonamientos
x(2 1 ).
Logicas de orden
superior
 Grado en
Ingeniera
Informatica Universal afirmativo
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores
x(1 2 ),
Formalizacion de
razonamientos
x(2 1 ).
Logicas de orden
superior

Es la forma de representar frases del tipo:

 Grado en
Ingeniera
Informatica Universal afirmativo
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores
x(1 2 ),
Formalizacion de
razonamientos
x(2 1 ).
Logicas de orden
superior

Es la forma de representar frases del tipo:

Todo 1 es 2 ,
 Grado en
Ingeniera
Informatica Universal afirmativo
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores
x(1 2 ),
Formalizacion de
razonamientos
x(2 1 ).
Logicas de orden
superior

Es la forma de representar frases del tipo:

Todo 1 es 2 ,
Solo los 2 son 1 ,
 Grado en
Ingeniera
Informatica Universal afirmativo
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores
x(1 2 ),
Formalizacion de
razonamientos
x(2 1 ).
Logicas de orden
superior

Es la forma de representar frases del tipo:

Todo 1 es 2 ,
Solo los 2 son 1 ,
Nadie es 1 a menos que sea 2 ,
 Grado en
Ingeniera
Informatica Universal afirmativo
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores
x(1 2 ),
Formalizacion de
razonamientos
x(2 1 ).
Logicas de orden
superior

Es la forma de representar frases del tipo:

Todo 1 es 2 ,
Solo los 2 son 1 ,
Nadie es 1 a menos que sea 2 ,
No hay ningun 1 que no sea 2 ,
 Grado en
Ingeniera
Informatica Universal afirmativo
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores
x(1 2 ),
Formalizacion de
razonamientos
x(2 1 ).
Logicas de orden
superior

Es la forma de representar frases del tipo:

Todo 1 es 2 ,
Solo los 2 son 1 ,
Nadie es 1 a menos que sea 2 ,
No hay ningun 1 que no sea 2 ,
1 es suficiente para 2 ,
 Grado en
Ingeniera
Informatica Universal afirmativo
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores
x(1 2 ),
Formalizacion de
razonamientos
x(2 1 ).
Logicas de orden
superior

Es la forma de representar frases del tipo:

Todo 1 es 2 ,
Solo los 2 son 1 ,
Nadie es 1 a menos que sea 2 ,
No hay ningun 1 que no sea 2 ,
1 es suficiente para 2 ,
2 es necesario para 1 .
 Grado en
Ingeniera
Informatica Universal negativo
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior
 Grado en
Ingeniera
Informatica Universal negativo
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior x(1 2 ).
 Grado en
Ingeniera
Informatica Universal negativo
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior x(1 2 ).

Es la forma de representar frases del tipo:

 Grado en
Ingeniera
Informatica Universal negativo
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior x(1 2 ).

Es la forma de representar frases del tipo:

Ningun 1 es 2 ,
 Grado en
Ingeniera
Informatica Universal negativo
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior x(1 2 ).

Es la forma de representar frases del tipo:

Ningun 1 es 2 ,
Todos los 1 carecen de 2 .
 Grado en
Ingeniera
Informatica Existencial afirmativo
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior
 Grado en
Ingeniera
Informatica Existencial afirmativo
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior x(1 2 ).
 Grado en
Ingeniera
Informatica Existencial afirmativo
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior x(1 2 ).

Es la forma de representar frases del tipo:

Algun 1 es 2 ,
 Grado en
Ingeniera
Informatica Existencial afirmativo
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior x(1 2 ).

Es la forma de representar frases del tipo:

Algun 1 es 2 ,
Alguien es a la vez 1 y 2 .
 Grado en
Ingeniera
Informatica Existencial negativo
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior
 Grado en
Ingeniera
Informatica Existencial negativo
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior x(1 2 ).
 Grado en
Ingeniera
Informatica Existencial negativo
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior x(1 2 ).

Es la forma de representar frases del tipo:

 Grado en
Ingeniera
Informatica Existencial negativo
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior x(1 2 ).

Es la forma de representar frases del tipo:

Algun 1 no es 2 ,
 Grado en
Ingeniera
Informatica Existencial negativo
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior x(1 2 ).

Es la forma de representar frases del tipo:

Algun 1 no es 2 ,
No todos los 1 son 2 .
 Grado en
Ingeniera
Informatica Ejemplos
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior
 Grado en
Ingeniera
Informatica Ejemplos
Estrategias 1) (Universal afirmativo)
Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior
 Grado en
Ingeniera
Informatica Ejemplos
Estrategias 1) (Universal afirmativo)
Patrones

Negacion de frases Nadie se levanta a menos que tenga que irse.

que contienen
cuantificadores

Formalizacion de La frase anterior se puede reescribir como

razonamientos

Logicas de orden
superior
Para todo x, si x no tiene que irse, entonces no se levanta,

o como
Para todo x, si x se levanta, entonces tiene que irse.
 Grado en
Ingeniera
Informatica Ejemplos
Estrategias 1) (Universal afirmativo)
Patrones

Negacion de frases Nadie se levanta a menos que tenga que irse.

que contienen
cuantificadores

Formalizacion de La frase anterior se puede reescribir como

razonamientos

Logicas de orden
superior
Para todo x, si x no tiene que irse, entonces no se levanta,

o como
Para todo x, si x se levanta, entonces tiene que irse.
Sea D el dominio de las personas y sean

P(x) : x se levanta,

Q(x) : x tiene que irse.

Con estas definiciones obtenemos la formalizacion:

x (P(x) Q(x)).
 Grado en
Ingeniera
Informatica Ejemplos
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior
 Grado en
Ingeniera
Informatica Ejemplos
Estrategias

Patrones

Negacion de frases
que contienen 2) (Universal negativo)
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior
 Grado en
Ingeniera
Informatica Ejemplos
Estrategias

Patrones

Negacion de frases
que contienen 2) (Universal negativo)
cuantificadores

Formalizacion de
razonamientos Ningun emperador es odontologo (L. Carroll).
Logicas de orden
superior
 Grado en
Ingeniera
Informatica Ejemplos
Estrategias

Patrones

Negacion de frases
que contienen 2) (Universal negativo)
cuantificadores

Formalizacion de
razonamientos Ningun emperador es odontologo (L. Carroll).
Logicas de orden
superior
Sea D el dominio de las personas y sean

P(x) : x es emperador,

Q(x) : x es odontologo.
Con estas definiciones obtenemos la formalizacion:

x (P(x) Q(x)).
 Grado en
Ingeniera
Informatica Ejemplos
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior
 Grado en
Ingeniera
Informatica Ejemplos
Estrategias 3) (Existencial afirmativo)
Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior
 Grado en
Ingeniera
Informatica Ejemplos
Estrategias 3) (Existencial afirmativo)
Patrones

Negacion de frases Algunos estudiantes de informatica solo son amigos

que contienen
cuantificadores de los aficionados a la logica.
Formalizacion de
razonamientos
Esta frase se puede reescribir como:
Logicas de orden
superior
Para algunos estudiantes de informatica, una persona es un amigo
solo si es aficionado a la logica.
 Grado en
Ingeniera
Informatica Ejemplos
Estrategias 3) (Existencial afirmativo)
Patrones

Negacion de frases Algunos estudiantes de informatica solo son amigos

que contienen
cuantificadores de los aficionados a la logica.
Formalizacion de
razonamientos
Esta frase se puede reescribir como:
Logicas de orden
superior
Para algunos estudiantes de informatica, una persona es un amigo
solo si es aficionado a la logica.
Sea D el dominio de las personas y sean

P(x) : x es estudiante de informatica,

Q(x) : x es aficionado a la logica,

R(x, y) : x es amigo de y.
Con estas definiciones obtenemos la formalizacion:

x (P(x) y(R(x, y) Q(y))).

 Grado en
Ingeniera
Informatica Ejemplos
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior
 Grado en
Ingeniera
Informatica Ejemplos
Estrategias

Patrones

Negacion de frases 4) (Existencial negativo)

que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior
 Grado en
Ingeniera
Informatica Ejemplos
Estrategias

Patrones

Negacion de frases 4) (Existencial negativo)

que contienen
cuantificadores

Formalizacion de Algunos gatos no saben silbar ni maullar (L. Carroll).

razonamientos

Logicas de orden
superior
 Grado en
Ingeniera
Informatica Ejemplos
Estrategias

Patrones

Negacion de frases 4) (Existencial negativo)

que contienen
cuantificadores

Formalizacion de Algunos gatos no saben silbar ni maullar (L. Carroll).

razonamientos

Logicas de orden
superior
Sea D el dominio de los animales y sean

P(x) : x es un gato,

Q(x) : x sabe silbar,

R(x) : x sabe maullar.
Con estas definiciones obtenemos la formalizacion:

x (P(x) Q(x) R(x)).

 Grado en
Ingeniera
Informatica

Estrategias

Patrones 1 Estrategias
Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos
2 Patrones
Logicas de orden
superior

3 Negacion de frases que contienen cuantificadores

4 Formalizacion de razonamientos

5 Logicas de orden superior

 Grado en
Ingeniera
Informatica Negacion
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior
 Grado en
Ingeniera
Informatica Negacion
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior

Objetivo: ver como se escribe la negacion de una frase que

contiene un cuantificador.
 Grado en
Ingeniera
Informatica Universal-Existencial
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior
 Grado en
Ingeniera
Informatica Universal-Existencial
Estrategias

Patrones

Negacion de frases
Consideremos la frase
que contienen
cuantificadores
Todos los alumnos de esta clase aprobaran en febrero.
Formalizacion de
razonamientos

Logicas de orden
superior
 Grado en
Ingeniera
Informatica Universal-Existencial
Estrategias

Patrones

Negacion de frases
Consideremos la frase
que contienen
cuantificadores
Todos los alumnos de esta clase aprobaran en febrero.
Formalizacion de
razonamientos

Logicas de orden
Sean D el conjunto de los alumnos de esta clase y
superior

P(x) : x aprobara en febrero.

La frase dada se puede escribir como: xP(x).

 Grado en
Ingeniera
Informatica Universal-Existencial
Estrategias

Patrones

Negacion de frases
Consideremos la frase
que contienen
cuantificadores
Todos los alumnos de esta clase aprobaran en febrero.
Formalizacion de
razonamientos

Logicas de orden
Sean D el conjunto de los alumnos de esta clase y
superior

P(x) : x aprobara en febrero.

La frase dada se puede escribir como: xP(x).

La negacion de Todos los alumnos de esta clase aprobaran en febrero
es No todos los alumnos de esta clase aprobaran en febrero, es decir,
(xP(x)), que podemos reescribir como:
Existen alumnos de esta clase que no aprobaran en febrero.
Con los mismos dominio y predicados anteriores, su formalizacion es
x(P(x)).
 Grado en
Ingeniera
Informatica Existencial-Universal
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior
 Grado en
Ingeniera
Informatica Existencial-Universal
Estrategias

Patrones Consideremos ahora la frase

Negacion de frases
que contienen
cuantificadores
Algunos alumnos de esta clase suspenderan en febrero.
Formalizacion de
razonamientos

Logicas de orden
superior
 Grado en
Ingeniera
Informatica Existencial-Universal
Estrategias

Patrones Consideremos ahora la frase

Negacion de frases
que contienen
cuantificadores
Algunos alumnos de esta clase suspenderan en febrero.
Formalizacion de
razonamientos Sean D el conjunto de los alumnos de esta clase y
Logicas de orden
superior
P(x) : x suspendera en febrero.

La frase dada se puede escribir como: xP(x).

 Grado en
Ingeniera
Informatica Existencial-Universal
Estrategias

Patrones Consideremos ahora la frase

Negacion de frases
que contienen
cuantificadores
Algunos alumnos de esta clase suspenderan en febrero.
Formalizacion de
razonamientos Sean D el conjunto de los alumnos de esta clase y
Logicas de orden
superior
P(x) : x suspendera en febrero.

La frase dada se puede escribir como: xP(x).

La negacion de Algunos alumnos de esta clase suspenderan en febrero
es Ningun alumno de esta clase suspendera en febrero, es decir,
(xP(x)), que podemos reescribir como:

Todos los alumnos de esta clase no suspenderan en febrero.

 Grado en
Ingeniera
Informatica Existencial-Universal
Estrategias

Patrones Consideremos ahora la frase

Negacion de frases
que contienen
cuantificadores
Algunos alumnos de esta clase suspenderan en febrero.
Formalizacion de
razonamientos Sean D el conjunto de los alumnos de esta clase y
Logicas de orden
superior
P(x) : x suspendera en febrero.

La frase dada se puede escribir como: xP(x).

La negacion de Algunos alumnos de esta clase suspenderan en febrero
es Ningun alumno de esta clase suspendera en febrero, es decir,
(xP(x)), que podemos reescribir como:

Todos los alumnos de esta clase no suspenderan en febrero.

Con los mismos dominio y predicados anteriores, su formalizacion es

x(P(x)).
 Grado en
Ingeniera
Informatica

Estrategias

Patrones 1 Estrategias
Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos
2 Patrones
Logicas de orden
superior

3 Negacion de frases que contienen cuantificadores

4 Formalizacion de razonamientos

5 Logicas de orden superior

 Grado en
Ingeniera
Informatica Ejemplos de razonamientos
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior
 Grado en
Ingeniera
Informatica Ejemplos de razonamientos
Estrategias

Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior
Solo las buenas personas ayudan a los pobres. Ninguna buena
persona es aficionada a la fotografa. Antonio ayuda a Juan.
Antonio es aficionado a la fotografa. Entonces, Juan es pobre.
 Grado en
Ingeniera
Informatica Formalizacion
Estrategias Sea D el dominio de las personas, a la constante Antonio y j la constante
Patrones Juan. Definamos los siguientes predicados:
Negacion de frases
que contienen
cuantificadores P(x) : x es buena persona,
Formalizacion de
razonamientos
Q(x, y) : x ayuda a y,
Logicas de orden
superior
R(x) : x es pobre,
S(x) : x es aficionado a la fotografa.
Con estas definiciones el razonamiento dado se puede escribir como:
xy(Q(x, y) R(y) P(x)),
x(P(x) S(x)),
Q(a, j),
S(a)
R(j)
 Grado en
Ingeniera
Informatica

Estrategias

Patrones 1 Estrategias
Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos
2 Patrones
Logicas de orden
superior

3 Negacion de frases que contienen cuantificadores

4 Formalizacion de razonamientos

5 Logicas de orden superior

 Grado en
Ingeniera
Informatica Logicas de predicados de orden
Estrategias superior
Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos

Logicas de orden
superior
 Grado en
Ingeniera
Informatica Logicas de predicados de orden
Estrategias superior
Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos El calculo de predicados de primer orden admite generalizaciones a
Logicas de orden
superior
calculos de predicados de orden mayor que uno. En el calculo de
predicados de primer orden los cuantificadores pueden afectar solo
a las variables y los predicados se calculan solo sobre terminos.
 Grado en
Ingeniera
Informatica Logicas de predicados de orden
Estrategias superior
Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos El calculo de predicados de primer orden admite generalizaciones a
Logicas de orden
superior
calculos de predicados de orden mayor que uno. En el calculo de
predicados de primer orden los cuantificadores pueden afectar solo
a las variables y los predicados se calculan solo sobre terminos.
En el calculo de predicados de segundo orden, los cuantificadores
afectan tambien a predicados.
 Grado en
Ingeniera
Informatica Logicas de predicados de orden
Estrategias superior
Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos El calculo de predicados de primer orden admite generalizaciones a
Logicas de orden
superior
calculos de predicados de orden mayor que uno. En el calculo de
predicados de primer orden los cuantificadores pueden afectar solo
a las variables y los predicados se calculan solo sobre terminos.
En el calculo de predicados de segundo orden, los cuantificadores
afectan tambien a predicados.
En el calculo de tercer orden se definen predicados de predicados
(no solo predicados de terminos).
 Grado en
Ingeniera
Informatica Logicas de predicados de orden
Estrategias superior
Patrones

Negacion de frases
que contienen
cuantificadores

Formalizacion de
razonamientos El calculo de predicados de primer orden admite generalizaciones a
Logicas de orden
superior
calculos de predicados de orden mayor que uno. En el calculo de
predicados de primer orden los cuantificadores pueden afectar solo
a las variables y los predicados se calculan solo sobre terminos.
En el calculo de predicados de segundo orden, los cuantificadores
afectan tambien a predicados.
En el calculo de tercer orden se definen predicados de predicados
(no solo predicados de terminos).
Siguiendo anadiendo niveles de predicados de predicados, se
sube el nivel del calculo de predicados que se esta definiendo.