Iii. Cuantificadores Universales

Demuestre que las siguientes formas dan lugar a tautologı́as:
a) (p ⇒ q) ⇔ [(p ∧ ¬q) ⇒ (r ∧ ¬r)]

b) (¬q ⇒ ¬p) ⇔ (p ⇒ q)
c) ¬(p ∨ q) ⇒ (¬p ∧ ¬q)
d ) ¬(p ∧ q) ⇒ (¬p ∨ ¬q)
e) ¬(¬p) ⇔ p
f) p∨q ⇔ q∨p
g) [p ∨ (q ∨ r)] ⇔ [(p ∨ q) ∨ r]
h) p ∧ q ⇔ q ∧ p
i) [p ∧ (q ∧ r)] ⇔ [(p ∧ q) ∧ r]
j ) [p ∧ (q ∨ r)] ⇔ [(p ∧ q) ∨ (p ∧ r)]
k ) [p ∨ (q ∧ r)] ⇔ [(p ∨ q) ∧ (p ∨ r)]
l ) ¬(p ⇒ q) ⇔ p ∧ ¬q
CUANTIFICADORES
Todos los automóviles son enfriados por agua
Si convenimos en que:
U denota la colección de todos los automóviles, conjunto universal

∀ denota las frases “cada uno”, “para cada”, “para todo”, “todo”, “cual-
quiera” Se denomina cuantificador universal
x U denota la frase “x pertenece a U ”,
si p(x) simboliza: “x enfriado por agua”, nuestra proposición que-

darı́a:
∀ x ∈ U : p(x)
p(x) se denomina frase abierta o función proposicional

Las proposiciones del tipo:
∀ x ∈ U : p(x)
son verdaderas si la frase p(x) se convierte en una proposición verdadera

cada vez que x sea reemplazada por cualquier elemento de U y falsa en caso
contrario.
Ahora, si denota las frases: “hay”, “algunos”, “alg´ un”, “existe” Se

denomina cuantificador existencial. U denota el conjunto de estudiantes de la
B.U.A.P. y q(x) la frase abierta: “x es millonario”, la proposición
Algún estudiante de la BUAP es millonario, queda:
∃ x ∈ U : q(x)
¡Atención! : Para que expresiones del tipo:
∀ x ∈ U : p(x) o ∃ x ∈ U : p(x)
sean efectivamente proposiciones lógicas, p(x) debe ser una frase abierta tal
que cada elemento a de U , p(a) sea una proposición lógica.
Ejemplos: Sea el conjunto universal U de los seres humanos

1) Todos los músicos son gente alegre.
2) Todas las personas que no son alegre no son músicos.
1) en forma simbólica queda:
x U : p(x) q(x),
p(x) la frase : x es músico, y

q(x) la frase : x es alegre.
2) en forma simbólica es:
∀ x ∈ U : ¬q(x) ⇒ ¬p(x)
Si m y n son números enteros pares cualesquiera, entonces m + n también
es un entero par.
Si Z denota al conjunto de los números enteros, esta proposición se puede
escribir ası́:
∀ m ∈ Z : ∀ n ∈ Z : si m y n son pares ⇒ m + n es un entero par.

También se puede escribir ası́
∀ m ∈ P : ∀ n ∈ P : m + n ∈ P,
Si P representa al conjunto de los enteros pares.

También, en vez de usar dos cuantificadores universales hubieran
preferido escribir la proposición ası́:
∀ m, n ∈ Z : si m y n son pares ⇒ m + n es un entero par
o de este modo
∀ m, n ∈ P : m + n ∈ P
Dado cualquier número real, siempre existe un número entero mayor que
él .
Si R representa al conjunto de números reales y Z al de los enteros, po-
demos escribir esta proposición del modo siguiente:
∀ x ∈ R : ∃ n ∈ Z : n es mayor que x.
Todo número natural es mayor que cero.

Esta proposición se puede escribir en forma simbólica de dos modos dife-
rentes, según sea el conjunto universal seleccionado:
∀x ∈ R : x ∈ N ⇒ x > 0
O bien
∀x ∈ N : x > 0
Donde N es el conjunto de los números naturales y el sı́mbolo “>” significa

“mayor que”.
Sabemos que , para negar una proposición, es suficiente anteponer la frase:
“es falso que”. Lo mismo es válido para el tipo de proposiciones que estamos
estudiando. Ası́ por ejemplo:
Todo número natural es mayor que cero.
Su negación
Es falso que: Todo número natural es mayor que cero
Sin embargo es útil tener formas equivalentes de estas proposiciones.

Recordemos que siempre que
∀ x ∈ U : p(x)
es verdadera, significará que p(a) es verdadera para cada elemento a de U ,
es decir, ¬p(a) es falsa para todo elemento a de U , o sea que es falsa la
proposición:
∃ x ∈ U : ¬p(x)
Ahora, si ∀ x ∈ U : p(x) es falsa, tenemos que para algún a en U , p(a) es
falsa, es decir, para este a, ¬p(a) es verdadera, ası́ que la proposición
∃ x ∈ U : ¬p(x) es verdadera
Ejemplifiquemos lo anterior. Sea
U = {11, 12, 13, 14}
y consideremos la proposición
∀ x ∈ U : x es divisible por 2
Hagamos una lista de los valores de verdad de la frase abierta para cada uno
de los elementos de U .
11 es divisible por 2 — F
12 es divisible por 2 — V
13 es divisible por 2 — F
14 es divisible por 2 — V
Vemos que la proposición es falsa, ası́ que de antemano sabremos que la

proposción
∃ x ∈ U : ¬(x es divisible por 2)

es verdadera.
Podemos entonces concluir en general que:
¬(∀ x ∈ U : p(x)) es equivalente a ∃ x ∈ U : ¬p(x)

Ahora, si ∃ x ∈ U : ¬p(x) es falsa, significa que p(a) es falsa para cualquier
a en U , de aquı́ que ¬p(a) es verdadera para cualquier a en U . Por lo tanto:
∀ x ∈ U : ¬p(x)
es verdadera.
Si sabemos que ∃ x ∈ U : ¬p(x) es verdadera, esto significa que para
algún a en U , p(a) es verdadera, ası́ que ¬p(a) es falsa para este mismo a en
U , y podemos concluir que
∀ x ∈ U : ¬p(x)
es falsa.
Entonces podemos asentar que:
¬(∃ x ∈ U : ¬p(x)) es equivalente a ∀ x ∈ U : ¬p(x).
Ejemplos:
1.
“No existe número que, elevado al cuadrado sea negativo”.

O también:
“Todo número cumple que, elevado al cuadrado, no es negativo”.
De forma esquemática podemos decir que si una proposición tiene la
forma:
“Ningún x ∈ U cumple p(x)”

ésta, en realidad, es la proposición universal
“∀ x ∈ U : ¬p(x)”
.
Ası́, nuestro ejemplo se escribe en forma esquemática como:
∀ x ∈ R : ¬(x2 < 0),

donde R es el conjunto de los números reales y “<” se lee como “es
menor que”
2. Es falso que: para todo número exista un entero mayor que él.
Aprovechemos lo que comentamos en el ejemplo 5, página 16 para es-

cribir la proposición de la forma:
¬(∀ x ∈ R : ∃n ∈ Z : n > x)
es decir,
∃x ∈ R : ¬(∃n ∈ Z : n > x)
simplificando más:
∃x ∈ R : ∀n ∈ Z : ¬(n > x)
Ahora veamos otros ejemplos de negaciones:

3. “Es falso que exista algún funcionario que no es corrupto”
es equivalente a
“Todos los funcionarios son corruptos”.
Invitamos al estudiante a hacer todos los cálculos con estas dos proposi-
ciones: Pasarlas a sus formas simbólicas, calcular sus valores de verdad
y convencerse de la equivalencia.
4. ¬(∀ n ∈ P : ∀ m ∈ P : n + m ∈ P) es equivalente a:
∃ n ∈ P : ¬(∀ m ∈ P : n + m ∈ P)
que a su vez es equivalente a:
∃n ∈ P : ∃m ∈ P : n + m ∈
/P
5. ¬(∀ x ∈ R : ∃ n ∈ Z : n es mayor que x)
es equivalente a:
∃ x ∈ R : ¬(∃ n ∈ Z : n es mayor que x)
que a su vez es equivalente a :
∃ x ∈ R : ∀ n ∈ Z : ¬(n es mayor que x)
Ejercicios 3.
1. Determine cuáles de las siguientes proposiciones son del tipo
∀ x ∈ U : p(x) o ∃ x ∈ U : p(x),
precisando el conjunto universal y la proposición abierta p(x), y

expréselas simbólicamente.
a) Cualquier dı́a es bueno para estudiar.

b) Cada comerciante pretende sacar ganancia de la crisis.
21
Cuantificadores Lógica
c) Cualquier hombre, si trabaja, se agota.

d ) Todo triángulo que tiene sus tres lados iguales es equilátero.
e) Algún triángulo puede ser equilátero y no tener los 3 lados iguales.
f ) Cada par de rectas, sin son paralelas, no se intersectan.
g) Pueden haber dos rectas no paralelas que se corten en más de un
punto.
h) Ningún hombre vive más de 150 años.
i) Algunos números naturales son positivos.
j ) Hay un punto en el plano tal que cualquier recta pasa por él.
k ) Para cualquier número positivo, hay un natural que es mayor que
él.
l ) Todos los números reales cumplen que su cuadrado es positivo.
m) Nunca sucede que el cuadrado de un entero sea 1/3.
2. Determine el valor de verdad de las siguientes proposiciones:
a) Todo estudiante de esta facultad nació en Puebla.

b) Cada vez que sumamos dos números impares se obtiene un número
impar.
c) Todo entero es par y primo.
d ) Si un número es par entonces es igual a 1.
e) Si un número es par, al sumarle uno “se vuelve” impar.
f ) Si U = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}, ∀ x ∈ U : x es impar
g) Si U es como en (f), ∀ x ∈ U : x es mayor que 0 pero menor que
11.
h) si U es como en (g), ∃ x ∈ U : x es mayor que 11.
i) si U es como en (h), ∃ x ∈ U : x múltiplo de 2.
3. ¿Cuáles de los siguientes pares de proposiciones son equivalentes?
a) Todas las personas oyen consejo, o no llegan a viejos.

Cada persona que oye consejo llega a viejo.
22
Lógica Razonamiento
b) ∀ x ∈ Z : x2 ̸= 1 ⇒ x2 + 1 ̸= 2
¬(∃ x ∈ Z : x2 = 1 ⇒ x2 + 1 = 2)
c) ∃ x ∈ Z : x2 = 1 ∧ x2 + 1 ̸= 2
¬(∀ x ∈ Z : x2 = 1 ⇒ x2 + 1 = 2)
d ) ∀ x ∈ Z : x2 = 1 ∧ x2 ̸= 0
∀ x ∈ Z : es falso que: x2 = 1 ⇒ x2 = 0
Nota: Recuerde que Z es el conjunto de los números enteros, o

sea:
Z = {. . . , −3, −2, −1, 0, 1, 2, 3, 4, . . .}
4. Diga si en las siguientes parejas de proposiciones, son una la negación

de la otra.
a) Todas las funciones contı́nuas son integrales.

Todas las funciones contı́nuas no son integrales.
b) Hay algún número primo que no es par.
Hay algún número primo que es par.
c) Todos los seres vivos están en peligro de morir.
Algún ser vivo no tiene el peligro de morir.
d ) Para cada número positivo, hay un número natural mayor que él.
Hay un número positivo, tal que todo número natural es menor o
igual que él.
§5
1.5. Razonamiento
En el lenguaje que cotidianamente empleamos, suele usarse la palabra

Razonamiento para indicar una actividad o proceso del pensamiento en el
que se exponen razones sobre las que se basa la veracidad o falsedad de una
proposición.
23

Iii. Cuantificadores Universales

Cargado por

Copyright:

Formatos disponibles

Iii. Cuantificadores Universales

Cargado por

Información del documento

Título original

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

Iii. Cuantificadores Universales

Cargado por

Copyright:

Formatos disponibles

Demuestre que las siguientes formas dan lugar a tautologı́as:

a) (p ⇒ q) ⇔ [(p ∧ ¬q) ⇒ (r ∧ ¬r)]

Todos los automóviles son enfriados por agua

U denota la colección de todos los automóviles, conjunto universal

x U denota la frase “x pertenece a U ”,

si p(x) simboliza: “x enfriado por agua”, nuestra proposición que-

p(x) se denomina frase abierta o función proposicional

son verdaderas si la frase p(x) se convierte en una proposición verdadera

Ahora, si denota las frases: “hay”, “algunos”, “alg´ un”, “existe” Se

Ejemplos: Sea el conjunto universal U de los seres humanos

p(x) la frase : x es músico, y

2) en forma simbólica es:

∀ m ∈ Z : ∀ n ∈ Z : si m y n son pares ⇒ m + n es un entero par.

Si P representa al conjunto de los enteros pares.

∀ m, n ∈ Z : si m y n son pares ⇒ m + n es un entero par

Todo número natural es mayor que cero.

Donde N es el conjunto de los números naturales y el sı́mbolo “>” significa

Todo número natural es mayor que cero.

Es falso que: Todo número natural es mayor que cero

Sin embargo es útil tener formas equivalentes de estas proposiciones.

U = {11, 12, 13, 14}

Vemos que la proposición es falsa, ası́ que de antemano sabremos que la

∃ x ∈ U : ¬(x es divisible por 2)

¬(∀ x ∈ U : p(x)) es equivalente a ∃ x ∈ U : ¬p(x)

“No existe número que, elevado al cuadrado sea negativo”.

“Ningún x ∈ U cumple p(x)”

∀ x ∈ R : ¬(x2 < 0),

Aprovechemos lo que comentamos en el ejemplo 5, página 16 para es-

Ahora veamos otros ejemplos de negaciones:

5. ¬(∀ x ∈ R : ∃ n ∈ Z : n es mayor que x)

∃ x ∈ R : ¬(∃ n ∈ Z : n es mayor que x)

que a su vez es equivalente a :

∃ x ∈ R : ∀ n ∈ Z : ¬(n es mayor que x)

precisando el conjunto universal y la proposición abierta p(x), y

a) Cualquier dı́a es bueno para estudiar.

c) Cualquier hombre, si trabaja, se agota.

2. Determine el valor de verdad de las siguientes proposiciones:

a) Todo estudiante de esta facultad nació en Puebla.

3. ¿Cuáles de los siguientes pares de proposiciones son equivalentes?

a) Todas las personas oyen consejo, o no llegan a viejos.

Nota: Recuerde que Z es el conjunto de los números enteros, o

4. Diga si en las siguientes parejas de proposiciones, son una la negación

a) Todas las funciones contı́nuas son integrales.

En el lenguaje que cotidianamente empleamos, suele usarse la palabra

También podría gustarte