Cuantificador universal negativo

Presentado por:
Alex Rivaldo Hurtado Mendoza

Presentado a:
Yader Blandon

Grupo: 200611_1020

PENSAMIENTO LOGICO Y MATEMATICO

Universidad nacional abierta y a distancia

CCAV Cartagena

11 de septiembre del 2019

Introducción
En este trabajo encontraremos tres ejercicios de cuantificador universal negativo desarrollados
Primero encontraremos una presentación en prezi en el cual definimos y dimos dos ejemplos de
cuantificador universal negativo, después encontraremos dos ejercicios de la tabla de la verdad
desarrollados.

objetivos
1 - aprender de que trata el cuantificador universal negativo
2 - aprender a aplicar los conceptos de cuantificador universal negativo
3 – desarrollar cada uno de los ejercicios propuestos atreves de los conceptos aprendidos en la
temática

EJERCICIO 1: PRESENTACION EN PREZI

https://prezi.com/view/PpUrxIWO38Mtco2NPL6g/
EJERCICIO 2:
 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las
proposiciones simples deben ser de autoría de cada estudiante, por lo que de encontrar
proposiciones iguales entre estudiantes se considerará como copia y se tomarán las medidas
correctivas estipuladas por la UNAD.

El arcoíris se forma con muchos colores si y sólo si el agua de lluvia interactúa con los
rayos de luz solar o si el sol está detrás de las nubes entonces, el arcoíris no se forma
con muchos colores.
P: el arcoíris se forma de muchos colores.
q: el agua de lluvia interactúa con los rayos de la luz solar.
S: el sol está detrás de las nubes.

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje simbólico (El
estudiante encontrará la Guía para el uso de recursos educativos Simulador Lógica UNAD, en
el Entorno de Aprendizaje Práctico, así como el link de acceso al recurso)
  Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel o
foto del desarrollo manual).

p q r ̴p (r→ ̴ p) qˇ(r→ ̴ p) p↔[qˇ(r→ ̴ p)]

v v v f f v v
v v f f v v v
v f v f f f f
v f f f v v v
f v v v v v f
f v f v v v f
f f v v v v f
f f f v v v f
Ejercicio 3:
si Rivaldo tiene un mango entonces Raúl tiene un melón. Silvia tiene una pera y brayan tiene una
naranja

p: si Rivaldo tiene un mango

q: Raúl tiene un melón
r: Silvia tiene una pera
s: brayan tiene una naranja
tabla de verdad:

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 F
v f v f f f F
v f f v v f f
v f f f f f f
f v v v v v v
f v v f v f f
f v f v v f f
f v f f v f f
f f v v v v v
f f v f v f f
f f f v v f f
f f f f v f f
 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje simbólico
(El estudiante encontrará la Guía para el uso de recursos educativos Simulador Lógica UNAD,
en el Entorno de Aprendizaje Práctico, así como el link de acceso al recurso)
Referencias
Cuantificador ( 29 may 2019 ed.). (s.f.). Wikipedia® . Obtenido de
https://es.wikipedia.org/wiki/Cuantificador