EJERCICIO 1: CONCEPTUALIZACIÓN DE CUANTIFICADORES

Cuantificador
Un cuantificador es una expresión con la que se pretende determinar la cantidad en una
proposición.

Cuantificador Universal Afirmativo

El cuantificador universal indica que algo es cierto para todos los individuos, este se representa
con el símbolo .
Las frases que 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

Ejemplo:

Si queremos representar la expresión

“Todos los niños toman leche”

Primero se halla el cuantificador universal, que es “Si x es un niño, entonces x toman leche” y se
simboliza de la siguiente manera:

Nx x es un niño
Lx x toman leche

( x) N x Lx

“Todas las mujeres son inteligentes”

Para toda x, si x es mujer entonces x es inteligente, y se simboliza de la siguiente manera:

Mx x es una mujer
Ix x son inteligentes
 ( x) (M x I x)

EJERCICIO 2: PROPOSICIONES Y TABLAS DE VERDAD

A. Si el vehículo de Gabriela necesita mantenimiento entonces, ella lo lleva al concesionario o

si ella no lo lleva al concesionario entonces, lo lleva al taller de Fernando.

 Proposiciones simples del argumento:

P: el vehículo de Gabriela necesita mantenimiento

q: lo lleva al concesionario
r: lo lleva al taller de Fernando

 Definir la expresión del argumento en lenguaje simbólico o formal

(p q) (¬q r)

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del leguaje simbólico.

 Generar tabla de verdad manual a partir del lenguaje simbólico y determinar el resultado.

p q r ¬p (p q) (¬q r) (p q) ( ¬q r)
V V V F V V V
V V F F V V V
V F V F F V V
V F F F F V V
F V V V V V V
F V F V V F F
F F V V V V V
F F F V V F F
Resultado de la tabla de verdad: CONTINGENCIA

EJERCICIO 3: PROBLEMAS DE APLICACIÓN

A. (p ^ q) (r ^ s)

 Preposiciones simples:
p = Juan David juega con su celular
q = mira televisión
r = perderá la evaluación
s = sus padres lo castigaran

 Reemplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

Juan David juega con su celular y mira televisión entonces perderá la evaluación y sus padres lo
castigaran.

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del leguaje simbólico.
 Generar tabla de verdad manual a partir del lenguaje simbólico y determinar el resultado.

p q r s (p ^ q) (r ^ s) (p ^ q) (r ^ s)
V V V V V V V
V V V F V F F
V V F V V F F
V V F F V F F
V F V V F V V
V F V F F F V
V F F V F F V
V F F F F F V
F V V V F V V
F V V F F F V
F V F V F F V
F V F F F F V
F F V V F V V
F F V F F F V
 F F F V F F V
F F F F F F V

Resultado de la tabla de verdad: CONTINGENCIA

CONCLUSIONES

Con este trabajo podemos concluir que la logia siempre es necesaria y hace parte de nuestra
vida ya que sin esta no podríamos determinar con certeza o claridad los diferentes situaciones
por las cuales atravesamos en nuestro día a día.
Es importante señalar que la lógica hace parte del ser humano y esta va ligada a los conceptos
y criterios de cada uno, esto con el fin de poder determinar los argumentos que son válidos y
correctos para nuestro entendimiento.

BIBLIOGRAFÍA

 Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos

de álgebra lineal. Volumen I: conjuntos numéricos, complementos. (pp. 19-28). Madrid,
España: Editorial Tébar Flores. Recuperado
de http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=20&docI
D=3226457&tm=1529246259924
 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y
computación. (pp. 9-28). Ediciones Elizcom, Madrid. Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=12&docI
D=3199701&tm=1529335849013

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

computación. (pp. 106-112). Ediciones Elizcom, Madrid. Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=109&do
cID=3199701&tm=1529510366591