Ejemplos

● Nikol te apuesta $ 5 a que cada jugador de su equipo de baloncesto anotará

un punto o ganará una asistencia en el juego de esta noche.
○ ¿Qué debe pasar para que ganes la apuesta? Expresa esta condición de la manera más
simple y natural posible y explique su razonamiento.

● Para cada uno de los siguientes enunciados, proporcione una lista de

números naturales que satisfaga el enunciado. ¿Puede encontrar una sola
lista que satisfaga ambas afirmaciones?
○ Declaración p: Hay un número en la lista que es mayor que cualquier otro número en la lista.
○ Declaración q: Cada número de la lista es menor que algún otro número de la lista.
Introducción

x es par

● ¿Es proposición?
Introducción

x es par

● La escritura matemática casi siempre se ocupa de oraciones

de este tipo; a menudo expresamos ideas matemáticas en
términos de alguna variable desconocida.
Predicado

Un predicado es una oración declarativa cuyo valor T / F depende de una o más

variables. En otras palabras, un predicado o función proposicional es una
oración declarativa con variables, y después de que a esas variables se les
han dado valores específicos, la oración se convierte en una declaración.
Predicados
Por lo general, indicaremos el dominio junto con el predicado, a menos que esté claro por el contexto.

Las ecuaciones son predicados. Por ejemplo, si E (x) representa la ecuación

entonces E (3) es verdadero y E (4) es falso. Consideramos las ecuaciones como oraciones declarativas,
donde el signo = juega el papel de un verbo.
Cuantificadores

Por sí mismos, los predicados no son declaraciones porque contienen

variables libres.

Podemos convertirlos en declaraciones introduciendo valores específicos del

dominio, pero a menudo nos gustaría describir un rango de valores para las
variables en un predicado.

Un cuantificador modifica un predicado al describir si algunos o todos los

elementos del dominio satisfacen el predicado.
Cuantificador universal
● El cuantificador universal "para todos" se denota por ∀.

P(x) es verdadera para todas las x en el dominio

Por ejemplo, si Z(x) es la ecuación numérica real x*0 = 0, entonces

Cuantificador universal
● El cuantificador universal "para todos" se denota por ∀.

P(x) es verdadera para todas las x en el dominio

Por ejemplo, si Z(x) es la ecuación numérica real x*0 = 0, entonces

"Para todos los números reales x, x · 0 = 0". Esta es una oración sin variables libres,
ya que el rango de valores posibles para x está claramente especificado.
 Cuantificador existencial
● El cuantificador existencial "existe" se denota por ∃

existe un elemento x del dominio tal que P (x) es verdadero; en otras

palabras, P (x) es cierto para alguna x en el dominio.

Por ejemplo, si E (x) es la ecuación numérica real x2 - x - 6 = 0, entonces

 Cuantificador existencial
● El cuantificador existencial "existe" se denota por ∃

existe un elemento x del dominio tal que P (x) es verdadero; en otras

palabras, P (x) es cierto para alguna x en el dominio.

Por ejemplo, si E (x) es la ecuación numérica real x2 - x - 6 = 0, entonces

Hay un número real x tal que x2 - x - 6 = 0 ”, “ La ecuación x2 - x - 6 = 0 tiene una solución ”.

*La variable x ya no es una variable libre, ya que el cuantificador ∃ cambia el papel que juega en la
oración.
Cuantificadores

Cuando ponemos un cuantificador delante de un predicado, formamos un

enunciado cuantificado. Dado que el cuantificador restringe el rango de
valores para las variables en el predicado, el enunciado cuantificado es
verdadero o falso (pero no ambos)
Cuantificadores

El poder real de la lógica de predicados proviene de la combinación de

cuantificadores, predicados y los símbolos de la lógica proposicional.

N(x) = x es negativo
Cuantificadores

El poder real de la lógica de predicados proviene de la combinación de

cuantificadores, predicados y los símbolos de la lógica proposicional.

N(x) = x es negativo

Existe un número real x tal que x es negativo y x^2 - x - 6 = 0

Traducciones- Ejemplos

Ejemplo 1

Dominio: Carros

(∀x)(Q(x) → ¬P(x)) es …
Traducciones- Ejemplos
Ejemplo 1
Dominio: Carros

(∀x)(Q(x) → ¬P(x)) es …

"Para todos los coches x, si x es grande, entonces x no obtiene un buen kilometraje".

"Todos los autos grandes tienen un mal kilometraje".

"No hay coches grandes que consigan un buen kilometraje".

Traducciones- Ejemplos
Ejemplo 1

Dominio: Carros

hay algunos autos grandes que obtienen un buen

kilometraje
Traducciones- Ejemplos
Ejemplo 2

Dominio: Números naturales

Traducciones- Ejemplos
Ejemplo 2

Dominio: Números naturales

Para todos los enteros x y para todos los enteros y, si x es par e y no es par, entonces x + y no es par.

Un par más un impar es impar.

Negación
Negación

En el dominio de todas las personas,

L (x) = "x es un mentiroso".

La regla de la negación universal dice que la negación de "Todas las personas

son mentirosas" es "Existe una persona que no es mentirosa".
Negación- “Todos los autos grandes tienen un mal kilometraje”
Negación
Negación- “Todos los autos grandes tienen un mal kilometraje”
Negación
Negación- “Todos los autos grandes tienen un mal kilometraje”
Negación
Negación- “Todos los autos grandes tienen un mal kilometraje”
Negación
Negación- “Todos los autos grandes tienen un mal kilometraje”
Negación
Ejemplos
1. No hay dos pentágonos que se limiten entre
sí.
(∀x)(∀y)((P(x) ∧ P(y)) → ¬B(x, y))

2. Cada pentágono limita con algún hexágono.

(∀x)(P(x) → (∃y) (H(y) ∧ B(x, y)))

3. Cada hexágono limita con otro hexágono.

(∀x)(H(x) → (∃y) (H(y) ∧ B(x, y)))
Ejemplos
1. No hay dos pentágonos que se limiten
entre sí.
(∀x)(∀y)((P(x) ∧ P(y)) → ¬B(x, y))

Negación

~[ (∀x)(∀y)((P(x) ∧ P(y)) → ¬B(x, y))]

∃x ~[(∀y)((P(x) ∧ P(y)) → ¬B(x, y))]

∃x∃y ~[((P(x) ∧ P(y)) → ¬B(x, y))]

∃x∃y ~[~(P(x) ∧ P(y)) v ~B(x, y)]

∃x∃y [P(x) ∧ P(y) ∧ B(x, y)]

Ejemplos
2. Cada pentágono limita con algún
hexágono.
(∀x)(P(x) → (∃y) (H(y) ∧ B(x, y)))
Suponga que P es una función proposicional cuyo dominio de discurso consiste
en los elementos d1 , ..., dn . Escriba el seudocódigo que determina si
∃x∀y P(x, y) es verdadera o falsa
For x = d1 .. dn
For y = d1 .. dn
If ~P(x,y) break
return True
return False