TALLER UNIDAD 1

Ejercicio 1: Conceptualización de Cuantificadores

a. Cuantificador en la lógica matemática

Un cuantificador es una expresión que denota cantidad, de tal forma que permite
verificar o cuantificar la cantidad de veces que un predicado o propiedad se
satisface dentro de una determinada clase.

b. Cuantificador Universal

El cuantificador universal se utiliza para afirmar que todos los elementos de un

conjunto cumplen con una determinada propiedad. Por ejemplo:

∀x∈A:P(x)

Para todo x perteneciente a A, se cumple P(x).

Esta afirmación suele usarse como la equivalente de la proposición siguiente:

A={x∈U:P(x)}

Se define el conjunto A, como el de los elementos x de U, que cumplen P(x).

c. Cuantificador Existencial

El cuantificador existencial es un enunciado que permite establecer la existencia

de algunos elementos que satisfacen una condición, para la cual se utiliza las
palabras algunos, hay o existen.

De otra manera se puede decir que existe al menos un elemento x que cumple
con el predicado propuesto P.

El símbolo utilizado para este cuantificador es “”. Se requiere para tal fin
identificar un predicado “P” y un individuo indefinido “x” que cumpla con el
predicado.

Y se simboliza de la siguiente manera (x)(Px): y se lee existe un x tal que cumple

P o algún X cumple P o hay un x tal que x cumple P.

∃x∈A:P(x)

Existe x en A que cumple P(x).

Esta proposición suele interpretarse como la equivalente de la proposición

siguiente:
{x∈A:P(x)}≠∅

El conjunto de los elementos x de A, que cumplen P(x) es distinto del conjunto

vacío.

Ejemplos:

Teniendo los siguientes predicados o enunciados:

P: “ser profesor de la UNAD”

E: “ser estudiante de ingeniería de alimentos”

(x)(Px) y se lee: Hay un x tal que x es profesor de la UNAD

(X)(Ex) y se lee: hay un x tal que x es estudiante de ingeniería de alimentos.

En el caso que se simbolice o especifique x como “algunos x” las expresiones

anteriores se leerían:

(x)(Px) y se lee: Existen algunos x tal que x son profesores de la UNAD

(X)(Ex) y se lee: Existen algunos x tal que x son estudiantes de ingeniería de

alimentos.

d. Cuantificación existencial única

El cuantificador existencial con marca de unicidad se usa para indicar que hay un
único elemento de un conjunto A que cumple una determinada propiedad. Se
escribe:

!x∈A:P(x)

Se lee:

Existe una única x elementos de A, que cumple P(x).

d. Negación de proposiciones con cuantificadores

La negación de una declaración universal de la forma

 x  D, Q(x)

Ocurre cuando no es cierto que para todo x de D, P(x) es verdadera. Es decir,

cuando existe al menos un elemento de D para el cual P es falsa. Es decir, que su
negación es la proposición
  x  D, Q(x)

Escrito como equivalencia

~ ( x  D, Q(x))   x  D, ~Q(x)

La negación de una declaración existencial de la forma

 x  D, Q(x)

Ocurre cuando no es cierto que exista un elemento de D para el cual P es cierto.

Es decir, cuando P es falsa para todos los elementos de D. es decir, que su
negación es la proposición.

 x  D, ~Q(x)

Escrito como equivalencia

~ ( x  D, Q(x))   x  D, ~Q(x)

Ejercicio 2: Proposiciones y Tablas de verdad

1. Si la Selección Colombia va al mundial y James juega los partidos, entonces la

Selección Colombia será finalista del Mundial de Rusia.

a. Proposiciones:

p: La Selección Colombia va al mundial

q: James juega los partidos

r: La Selección Colombia será finalista del Mundial de Rusia

b. Lenguaje simbólico o formal

(p  q)  r

El enunciado propuesto se simboliza con la anterior expresión

c. Tabla de verdad con simulador Truth Table

d. Tabla de verdad manualmente a partir del lenguaje simbólico.

p q r (pq) (pq) r
V V V V V
V V F V F
V F V F V
V F F F V
F V V F V
F V F F V
F F V F V
F F F F V

2. Voy de vacaciones a San Bernardo del Viento o Voy a Capurgana o viajo a

Amazonas.

a. Proposiciones:

p: voy de vacaciones a San Bernardo del Viento

q: voy a a Capurgana

r: viajo a Amazonas
b. Lenguaje simbólico o formal

(p  q)  r

c. Tabla de verdad con simulador Truth Table

d. Tabla de verdad manualmente a partir del lenguaje simbólico.

p q r (pq) (pq)  r
V V V V V
V V F V V
V F V V V
V F F V V
F V V V V
F V F V V
F F V F V
F F F F F
3. Este fin de semana, voy a hacer un asado y voy a realizar una actividad en la
piscina y voy a pasar tiempo agradable con mi familia.
a. Proposiciones:

p: voy a hacer un asado

q: voy a realizar una actividad en la piscina

r: voy a pasar tiempo agradable con mi familia

b. Lenguaje simbólico o formal

(p  q)  r

El enunciado propuesto se simboliza con la anterior expresión

Al existir dos conectores iguales dentro de la misma expresión para las tres
proposiciones existentes, para realizar la tabla de verdad de la expresión se
realizara la relación de las proposiciones p y q para luego del resultado de esta
aplicar los valores de verdad con la proposición r.

c. Tabla de verdad con simulador Truth Table

d. Tabla de verdad manualmente a partir del lenguaje simbólico.

p q r (pq) (pq) r
V V V V V
V V F V F
V F V F F
V F F F F
F V V F F
F V F F F
F F V F F
F F F F F

4. Me gusta comer Lechona o me gusta comer Mariscos. Y es que realmente me

gusta comer Bandeja Paisa.

a. Proposiciones:

p: me gusta comer lechona

q: me gusta comer mariscos

r: me gusta comer bandeja paisa

b. Lenguaje simbólico o formal

(p  q)  r
c. Tabla de verdad con simulador Truth Table

d. Tabla de verdad manualmente a partir del lenguaje simbólico.

p q r (pq) (pq) r
V V V V V
V V F V F
V F V V V
V F F V F
F V V V V
F V F V F
F F V F F
F F F F F

5. Si estudio en la UNAD y pertenezco a las Fuerzas Militares de Colombia,

Entonces tendré un 40% de descuento en la Matricula.
a. Proposiciones:

p: estudio en la UNAD

q: pertenezco a las Fuerzas Militares de Colombia

r: tendré un 40% de descuento en la matricula

b. Lenguaje simbólico o formal

(p  q)  r

c. Tabla de verdad con simulador Truth Table

d. Tabla de verdad manualmente a partir del lenguaje simbólico.

p q r (pq) (pq) r
V V V V V
V V F V F
V F V F V
V F F F V
F V V F V
F V F F V
F F V F V
F F F F V

Ejercicio 3: Problemas de aplicación

1. [(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)]⟶(∼r⟶p)
a. Definir las proposiciones simples.

p: Si estudio

q: mis calificaciones son buenas

r: pierdo la materia

b. Remplazar las variables expresadas simbólicamente y llevarlas al

lenguaje natural.

Si estudio entonces mis calificaciones son buenas. Si no estudio, pierdo la

materia. Por lo tanto no pierdo la materia cuando estudio.
c. Tabla de verdad con el simulador Truth Table a partir del lenguaje
simbólico
d. Tabla de verdad manualmente a partir del lenguaje simbólico

p q R ~p ~r (pq) (~pr) (~rp) [(pq) (~pr)] [(pq) (~pr)] (~rp)

V V V F F V V V V V

V V F F V V V V V V

V F V F F F V V F V

V F F F V F V V F V

F V V V F V V V V V

F V F V V V F F F V

F F V V F V V V V V

F F F V V V F F F V

e. Definir si el argumento seleccionado inicialmente es una tautología, contradicción o contingencia

El argumento se trata de una tautología pues todos los valores son verdaderos para el argumento dado.
2. {(𝑝⟶𝑞)∧(𝑟⟶p)}⟶( 𝑝⟶𝑞)

a. Definir las proposiciones simples.

p: hoy es domingo

q: ayer fue sábado

r: mañana será lunes

b. Remplazar las variables expresadas simbólicamente y llevarlas al

lenguaje natural.

Si hoy es domingo entonces ayer fue sábado y si mañana será lunes entonces
hoy es domingo. De tal manera si hoy es domingo entonces ayer fue sábado.

c. Tabla de verdad con el simulador Truth Table a partir del lenguaje

simbólico
d. Tabla de verdad manualmente a partir del lenguaje simbólico

p q r (pq) (rq) (pq)(rq) {(pq)(rq)}(pq)

V V V V V V V

V V F V V V V

V F V F F F V

V F F F V F V

F V V V V V V

F V F V V V V

F F V V F F V

F F F V V V V

e. Definir si el argumento seleccionado inicialmente es una tautología, contradicción o contingencia

El argumento se trata de una tautología pues todos los valores de verdad son verdaderos.
3. [(𝑝⟶𝑞)∧(∼𝑞)∧(r⟶q)]⟶r

a. Definir las proposiciones simples.

p: Raquel estudia a distancia

q: Gestiona una plataforma virtual

r: La UNAD tiene Ingeniería de alimentos

b. Remplazar las variables expresadas simbólicamente y llevarlas al

lenguaje natural.

Raquel estudia a distancia entonces gestiona una plataforma virtual. Si no

gestiona una plataforma virtual y la UNAD tiene ingeniería de alimentos tal que
gestiona una plataforma virtual, por lo tanto la UNAD tiene ingeniería de
alimentos.

c. Tabla de verdad con el simulador Truth Table a partir del lenguaje

simbólico
d. Tabla de verdad manualmente a partir del lenguaje simbólico

p q r ~q (pq) (rq) (pq)(~q) (pq)(~q)(rq) [(pq)(~q)(rq)]r

V V V F V V F F V

V V F F V V F F V

V F V V F F F F V

V F F V F V F F V

F V V F V V F F V

F V F F V V F F V

F F V V V F V F V

F F F V V V V V F

e. Definir si el argumento seleccionado inicialmente es una tautología, contradicción o contingencia

El argumento se trata de una contingencia pues en algunas de sus relaciones los valores de verdad como se observa en la tabla de
verdad son verdaderos.
4. {[𝑝→(𝑞∨𝑟)]∧(p→∼𝑟)∧ r}→𝑞

a. Definir las proposiciones simples.

p: Adriana va al supermercado

q: compra manzanas

r: compra bananos

b. Remplazar las variables expresadas simbólicamente y llevarlas al

lenguaje natural.

Adriana va al supermercado entonces compra manzanas o compra bananos. Y

si Adriana va al supermercado tal vez no compra bananos y si compra bananos
entonces compra manzanas.

c. Tabla de verdad con el simulador Truth Table a partir del lenguaje

simbólico
d. Tabla de verdad manualmente a partir del lenguaje simbólico

p q r ~r (qr) (p~r) [p(qr)] [p(qr)] (p~r) {[p(qr)] (p~r) r} {[p(qr)] (p~r) r}q

V V V F V F V F F V

V V F V V V V V F V

V F V F V F F F F V

V F F V V V V V F V

F V V F V V V V V V

F V F V V V V V F V

F F V F F V V V V F

F F F V F V V V F V

e. Definir si el argumento seleccionado inicialmente es una tautología, contradicción o contingencia

El argumento se trata de una contingencia pues en algunas de sus relaciones los valores de verdad como se observa en la tabla de verdad son
verdaderos.
5. [(𝑝→𝑞) ∧[(𝑞∧r)→p]∧ 𝑟]→p

a. Definir las proposiciones simples.

p: Raquel estudia a distancia

q: Gestiona una plataforma virtual

r: La UNAD tiene Ingeniería de alimentos

b. Remplazar las variables expresadas simbólicamente y llevarlas al

lenguaje natural.

Raquel estudia a distancia entonces gestiona una plataforma virtual. Si no

gestiona una plataforma virtual y la UNAD tiene ingeniería de alimentos tal que
gestiona una plataforma virtual, por lo tanto la UNAD tiene ingeniería de
alimentos.

c. Tabla de verdad con el simulador Truth Table a partir del lenguaje

simbólico
d. Tabla de verdad manualmente a partir del lenguaje simbólico

p q r (pq) (qr) (pq) (qr) [(pq) (qr)p]

V V V V V F F V

V V F V V F F V

V F V F F F F V

V F F F V F F V

F V V V V F F V

F V F V V F F V

F F V V F V F V

F F F V V V V F
e. Definir si el argumento seleccionado inicialmente es una tautología,
contradicción o contingencia

El argumento se trata de una contingencia pues en algunas de sus relaciones los valores
de verdad como se observa en la tabla de verdad son verdaderos.

BIBLIOGRAFÍA

 Libro digital: Matemáticas discretas.

https://medium.com/@matematicasdiscretaslibro, Capitulo 13. Algebra
Booleana. Revisada 28 de septiembre de 2018.
 Presentación digital. https://es.slideshare.net/emperador09/cuantificador-
existencial. Matemáticas Discretas. Unidad 1. Lógica Matemática. Revisada 28
de septiembre de 2018.
 Real Academia de Ciencias Exactas, Física y Naturales, ed. (1999). Diccionario
esencial de las ciencias. Espsa. ISBN 84-239-7921-0.Simbólicamente:
 https://sites.google.com/site/mathematicasdiscretesolutions/logica-de-
po/cuantificadores Revisada 30 de septiembre de 2018