1

PENSAMIENTO LÓGICO MATEMÁTICO

MARIA FERNANDA LEAL RAMIREZ –CC: 1054538382

TUTOR (A): JUAN DAVID LACHARME

CURSO: 200611_1669

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

ESCUELA CIENCIAS DE LA EDUCACIÓN

PROGRAMA PENSAMIENTO LÓGICO MATEMÁTICO

CEAD LA DORADA CALDAS

22 DE SEPTIEMBRE DEL 2019

 2

Introducción

En este trabajo hablaremos sobre los cuantificadores Universales negativos, adicional a ello

realizaremos ejercicios sobre las proposiciones y las tablas de verdad.

Objetivos

Como objetivos tenemos conocer las proposiciones y tablas de verdad con los respectivos

ejercicios, profundizar sobre los cuantificadores Universales Negativos, y poder comprender los

tipos de cuantificadores y proposiciones existentes.

 3

Pantallazo Ejercicio 1
B. Cuantificador Universal negativo.
4
 5

Ejercicio 2: Proposiciones y Tablas de verdad.

B. 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 arcoiris se forma con muchos colores

Q: El agua de lluvia interactua con los rayos de luz solar
R: El sol esta detrás de las nubes

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

TABLA DE VERDAD MANUAL

p q r (p↔q) (~p) (r→(~p)) (((p↔q))v((r→(~p))))

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

CONTINGENCIA
 6

Resultado Simulacion Logica UNAD

 7

Ejercicio 3: Problemas de aplicación

A continuación, encontrará proposiciones compuestas en lenguaje simbólico (argumento) para el

desarrollo del ejercicio 3:

B. (𝑝→𝑞)∧(𝑟 ⋀ 𝑠)

Maria termino su bachiller entonces puede estudiar en la universidad y le gusta las matematicas y
el ingles.

P: Maria termino su bachiller.

Q: Puede estudiar en la Universidad.
R: Le gusta las matematicas.
S: el Ingles
 8

TABLA MANUAL DE LA VERDAD

p q r s (p→q) (r^s) (((p→q))^((r^s)))

F F F F V F F

F F F V V F F

F F V F V F F

F F V V V V V

F V F F V F F

F V F V V F F

F V V F V F F

F V V V V V V

V F F F F F F

V F F V F F F

V F V F F F F

V F V V F V F

V V F F V F F

V V F V V F F

V V V F V F F

V V V V V V V

Tabla simulador UNAD

 9

CONTINGENCIA
 10

Conclusiones

Lo aprendido en esta unidad se ve reflejado en los ejercicios realizados, las tablas manuales son

iguales a las generadas por el simulador de la UNAD, podemos ver que existen muchas clases y

tipos de proposiciones para los diferentes problemas y no solamente matemáticos.

Referencias

- AYRES, F.: Álgebra Moderna. Serie de compendios Schaum. Ed. Mc Graw-Hill. México,2005.

- BOURBAKI, N.: Elementos Universidad. Madrid, 1976. De historia de las Matemáticas. Ed.

Alianza

- Rodríguez, Vallejo, Ramón. Conjuntos numéricos, estructuras algebraicas y fundamentos de

álgebra lineal. Volumen I: conjuntos numéricos, complementos, Editorial Tébar Flores, 2013.

ProQuest Ebook Central,

http://ebookcentral.proquest.com/lib/unadsp/detail.action?docID=3226457.

Created from unadsp on 2019-09-19 18:35:11.