Ejercicio 1, 2, 3

Conceptualización de cuantificadores

Estudiante
Brenda Nathaly Sanabria

Programa
Psicología

Tutor
Jose Alfonso Olaya

Pensamiento lógico Matemático

Skype
natalycaraballo1994

Universidad abierta y a distancia Unad

Escuela de ciencias sociales artes y humanidades
(ECSAH)
 Introducción

A continuación hablaremos del cuantificador universal negativo relacionado con el tema de

lógica proposicional, dando a conocer que proposición es una expresión algebraica que

puede acarrear dos valores, verdadero o falso y que el termino UNIVERSAL es aquel que

se refiere a todos los objetos que verifican la propiedad expresada en el predicado.

 Objetivos

Las habilidades del pensamiento demandan ejercitarse a lo largo de todo el proceso de

enseñanza aprendizaje, es por esto que tanto para el educador como para el estudiante es

importante conocer estos procesos del pensamiento y deben saber cómo poder potenciarlos.

“El conocimiento opera mediante la selección de datos significativos y rechazo de datos no

significativos: separa, une, jerarquiza y centraliza”. Estas operaciones que utilizan la lógica,

son de hecho comandadas por principios de organización del pensamiento que gobiernan la

visión de las cosas y del mundo sin que se tenga conciencia de ello a pesar del desarrollo

humano.
 Presentación de Cuantificador universal negativo por medio de PowerPoint

Adjunto pantallazos de la presentación y la presentación como tal

Conceptualización
de cuantificadores.pptx
 Ejercicio 2

B- El arcoíris se forma de muchos colores si y solo si el agua de lluvia interactúa con los
rayos de la luz solar o si el sol está detrás de las nubes entonces, el arcoíris no se forma con
muchos colores.

-Definir las proposiciones simples del argumento

P= El arcoíris de forma de muchos colores
q= el agua de lluvia interactúa con los rayos de luz solar
r= si el sol está detrás de las nubes
~p= el arcoíris no se forma de muchos colores
-Definir la expresión del argumento en lenguaje simbólico o formal
( p <-> q ) v ( r -> ~p )
-Generar una tabla de verdad con el simulador LÓGICA UNAD a partir del lenguaje
simbólico
 TABLA DE VERDAD

p q r ~P (p <-> q ) ( r -> ~p) (p <-> q) v ( r -> ~p)

V V V F V F V
V V F F V F V
V F V F F V F
V F F F F V V
F V V V F V V
F V F V F V V
F F V V V F V
F F F V V F V

Por lo anterior vemos que es una CONTINGENCIA porque hay respuestas

verdaderas y una falsa.

Ejercicio 3

B- (p → q) ꓥ (r ꓥ s)

Manuel será profesor en la UNAD, entonces si estudia mucho podrá graduarse y obtener un
título en la UNAD y sobresalir en todas sus asignaturas.
p: Manuel será profesor en la UNAD
q: estudia mucho podrá graduarse
r: obtener un título en la UNAD
s: sobresalir en todas sus asignaturas

Tabla de verdad manualmente

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 F 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

- El resultado es una contingencia

Tabla simulador de lógica Unad

Referencias

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&docID=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&docID=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&docID=3199701&tm=1529510366591