Pensamiento Lógico Matemático

Juan Ramon Méndez Liévano

Tutor:

Carlos Eduardo Otero Murillo

Universidad Nacional Abierta y a Distancia UNAD

Escuela Ciencias de la Educación ECEDU,

Girardot, Cundinamarca 2019

Contacto: jrmendezl@unadvirtual.edu.co
 Introducción

Dada la importancia de las matemáticas en todos los ámbitos de nuestra vida, es importante

reconocer algunas características de su usual funcionamiento dentro de la cotidianeidad de nuestro

diario vivir. Por ende, el presente trabajo de lógica matemática muestra una breve comprensión de

lo que son los cuantificadores universales, las proposiciones y las tablas de verdad según los

distintos conectores lógicos a usar. Realizaremos una breve descripción de lo que son

cuantificadores universales afirmativos, desarrollaremos algunos ejercicios teniendo en cuenta los

argumentos de la letra A según la guía de actividades y rubrica de evaluación. Y lo más importante,

comprenderemos la expresión simbólica empleada en argumentos de nuestro diario vivir gracias a

los conectores lógicos que nos ayudan a crear unas tablas de verdad y que, según su veracidad

tendremos en cuenta su respectiva clasificación. Espero que este trabajo sea comprensible, asertivo

y eficiente, para lograr cuantitativamente una valoración y una ampliación de conocimientos a

nivel profesional.
 Objetivos

 Identifica dentro de la lógica proposicional los cuantificadores universales afirmativos.

 Logra identificar proposiciones simples o compuestas y los diferentes conectores lógicos

en las diferentes proposiciones presentes.

 Crea tablas de verdad a partir de las expresiones formales o representaciones simbólicas.

 Pensamiento Lógico Matemático

Ejercicio 1. Cuantificador Universal Afirmativo

Figura 1. Titulo de la exposición “Cuantificador universal afirmativo”

Figura 2. Concepto “Cuantificador universal afirmativo”

Figura 3. Ejemplo: “Cuantificador universal afirmativo”

Figura 4. Ejercicio1 “Cuantificador universal afirmativo”

Figura 5. Ejercicio 2 “Cuantificador universal afirmativo”

 Pensamiento Lógico Matemático

Ejercicio 2. Proposiciones y Tablas de verdad

Argumento

Si Laura chatea en su celular y conduce por la autopista entonces Laura tiene una alta

probabilidad de accidentarse o Laura puede dañar su automóvil

Proposiciones Simples:

p: Laura desea chatear

q: Conduce por la autopista

r: Laura tiene una alta probabilidad de accidentarse

s: Laura puede dañar su automóvil

Lenguaje Simbólico

(p ^q)→(rvs)
Tabla de verdad Generada con el simulador Logico UNAD

Figura 6. Tabla de verdad creada con el simulador lógico UNAD

Tabla de Verdad Manual

Tabla 1

Tabla de Valores de verdad

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

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

La tabla muestra los valores de verdad del ejercicio nº2 letra A.

Resultado de la tabla de verdad: Contingencia

 Pensamiento Lógico Matemático

Ejercicio 3. Expresión formal o simbólica:

A: (𝑝∧𝑞)→(𝑟 ∨¬𝑞)
p: Juan estudia en la UNAD con esfuerzo.

q: Se propone a cambiar su vida.

r: Lograra ser un profesional eficiente.

Lenguaje natural de la expresión formal:

Si Juan estudia en la UNAD con esfuerzo y se propone a cambiar su vida entonces lograra ser un

profesional eficiente o no se propone a cambiar su vida.

Tabla de verdad manualmente:

Tabla 2.

Tabla de verdad manualmente del ejercicio A

p q r ¬𝑞 (𝑝∧𝑞) (𝑟 ∨¬𝑞) (𝑝∧𝑞)→(𝑟 ∨¬𝑞)

V V V F V V V

V V F F V F F

V F V V F V V

V F F V F V V

F V V F F V V

F V F F F F V

F F V V F V V

F F F V F V V
Resultado de la tabla de verdad:

Contingencia

Tabla generada con el simulador UNAD

Figura 7. El grafico representa la tabla de verdad creada con el simulador UNAD de

pensamiento lógico matemático.

 Conclusiones

La lógica matemática es fundamental en su uso y aplicabilidad en los diferentes ámbitos de nuestra

vida, dada las proposiciones que efectuemos reconociendo su asertividad o falsedad.

Los conectores lógicos en matemáticas son de gran ayuda para la comprensión de las proposiciones

formales o simbólicas.

Las tablas de verdad son procedimientos matemáticos y significativos que ayudan a confrontar la

veracidad de las proposiciones, teniendo en cuenta su valor de verdad.

El razonamiento es la capacidad que tienen los humanos para comprender a través de métodos o

técnicas cuando un argumento es válido.

 Bibliografía

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

106-112). Ediciones Elizcom, Madrid, España. Recuperado de

https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=109&docID=319

9701&tm=1529510366591

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=32

26457&tm=1529246259924