101 - Tarea 2 - Flor Jimenez

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
Unidad 2: Tarea 2 - Métodos para probar la validez de argumentos
LÓGICA MATEMÁTICA
Presentado por:
Flor Liliana Jiménez Zuleta
Código: 39.358.645
Grupo:
90004_101
Tutora:
XESLEY PINILLA SANDOVAL
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA_UNAD

MEDELLÍN
2020
INTRODUCCIÓN
Conocer de lleno todos los conceptos de la Unidad 2 razonamientos lógicos del curso de
Lógica Matemática es fundamental, pero más importante que conocer dichos conceptos, es
ponerlos en práctica a través de unos ejercicios propuestos, tanto de manera manual, como a
través de la tecnología que hoy se nos ofrece, como las tablas de verdad; consideramos que el
aprendizaje y la utilización de los recursos, tanto didácticos como tecnológicos, nos lleva a mirar
la lógica que se nos presenta en la vida cotidiana.
Por lo que, a continuación, veremos el desarrollo de unos ejercicios propuestos en la guía de

actividades del curso, para poner en práctica lo aprendido y así poder dar realce a la teoría por
medio de los ejercicios prácticos.
OBJETIVOS
General:
Identificar y reconocer las reglas de inferencia y razonamientos lógicos, para probar la validez
de argumentos en situaciones de la lógica matemática.
Específicos:
 Comprender los conceptos de lógica proposicional, las tablas de verdad en proposiciones

compuestas, el álgebra de proposiciones, las tautologías, las contradicciones y las
contingencias.
 Entender las proposiciones simples y compuestas, las tablas de verdad manual y
tecnológica, los métodos de demostración, los razonamientos lógicos, la inferencia lógica
y los argumentos lógicos.
 Presentar a través de un trabajo los ejercicios propuestos por la guía de actividades para
la Unidad No. 2 del curso de lógica matemática, denominada principios de lógica.
 Hacer entrega en el link de seguimiento y evaluación de un trabajo final, con los
ejercicios seleccionados y resueltos para posterior calificación.
EJERCICIOS C
EJERCICIO 1
Ejercicio 1: Conceptualización de las reglas de inferencia
https://www.goconqr.com/es/mindmap/20778736/Unidad-2--Razonamientos-l-gicos
EJERCICIO 2
Ejercicio 2: Aplicación de las reglas de la inferencia Lógica.
C. Si el pastel está hecho con azúcar, entonces el pastel está dulce. El pastel no está dulce.
Conclusión: El pastel no está hecho con azúcar
Ley de inferencia aplicada: Modus Tollendo Tollens (MTT)
Lenguaje simbólico: p → q
¬q
__________
¬p
EJERCICIO 3
Ejercicio 3: Razonamiento Deductivo e Inductivo
C. Ana, Juan, Pedro y Lucas son hermanos. Ana tiene hambre. Lucas tiene hambre también.
Entonces Juan también tiene hambre.
Argumentación: Inductivo, que consiste en considerar varias experiencias individuales para

extraer de ellas un principio más amplio y general. Es una forma de razonamiento en que la
verdad de las premisas apoya la conclusión, pero no la garantizan.
El razonamiento utilizado es el Inductivo, ya que, si Ana, Juan, Pedro y Lucas son hermanos, se
podría inducir que Lucas y Juan también tienen hambre.
EJERCICIO 4
Ejercicio 4: Problemas de aplicación
C. Expresión simbólica: [ ( p ⟶ q ) ∧ ( ∼r ⟶ s ) ∧ ( p ∨ ∼r ) ]⟶ (q ∨ s)
Premisas
P1: p ⟶ q
P2: ∼ r ⟶ s
P3: p ∨∼r
Conclusión: q ∨ s
• Proposiciones simples:
p: voy al colegio
q: estudio matemáticas
r: soy estudiante
s: soy vago
• Razonamiento en lenguaje natural:
Si voy al colegio, entonces estudio matemáticas. Y, si no soy estudiante, entonces soy vago, Y,
si voy al colegio, o no soy estudiante, entonces estudio matemáticas o soy vago.
• Tabla de verdad:
p q r s (p→ (~ ((~r) (((p→q))^(((~r (pv(~ ((((p→q))^(((~r)→s)))^( (qvs) ((((((p→q))^(((~r)→s)))^((pv(~r

q) r) →s) )→s))) r)) (pv(~r)))) )))))→((qvs)))
F F F F V V F F V F F V
F F F V V V V V V V V V
F F V F V F V V F F F V
F F V V V F V V F F V V
F V F F V V F F V F V V
F V F V V V V V V V V V
F V V F V F V V F F V V
F V V V V F V V F F V V
V F F F F V F F V F F V
V F F V F V V F V F V V
V F V F F F V F V F F V
V F V V F F V F V F V V
V V F F V V F F V F V V
V V F V V V V V V V V V
V V V F V F V V V V V V
V V V V V F V V V V V V
Tautología
 Tabla de verdad con el simulador Lógica UNAD
 Leyes de inferencia
P1: (𝑝⟶𝑞)
P2: (∼r⟶s)
P3: (p∨∼r)
Conclusión: (q∨s)
P4: (q∨s) Dilema constructivo o silogismos disyuntivo P1, P2 y P3.

CONCLUSIONES
Al realizar los anteriores ejercicios, después de conocidos y estudiados los diferentes

conceptos de la unidad No. 2, y por medio de unos ejercicios para realizarlos a través de la
práctica, es donde realmente reforzamos como tal dicho aprendizaje, y a la vez, por medio de la
realización de dichos ejercicios propuestos, para damos dé cuenta de la realidad que nos
demuestra la lógica matemática y del porqué de la veracidad demostrados a través de la
inferencia lógica.
REFERENCIAS BIBLIOGRÁFICAS
Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal, MÉXICO:
Grupo Editorial Patria. (pp. 80-84) Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=91&docID=11230887&tm=1496180214861
Castaño, C. (2016). Razonamientos Lógicos. [Archivo de video]. Recuperado de

http://hdl.handle.net/10596/6548
Gutiérrez, J. (2016). Tutoría Unidad 2 Curso 90004. [Archivo de video]. Recuperado de

Gutiérrez, W. (2016). Validez de un argumento. [Archivo de video]. Recuperado de

Rodríguez, H. (2017). Leyes de inferencia (Validación de argumentos). [Archivo de video].

Recuperado de http://hdl.handle.net/10596/11486
https://www.goconqr.com/es

101 - Tarea 2 - Flor Jimenez

Cargado por

Copyright:

Formatos disponibles

101 - Tarea 2 - Flor Jimenez

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

101 - Tarea 2 - Flor Jimenez

Cargado por

Copyright:

Formatos disponibles

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

Unidad 2: Tarea 2 - Métodos para probar la validez de argumentos

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA_UNAD

Por lo que, a continuación, veremos el desarrollo de unos ejercicios propuestos en la guía de

 Comprender los conceptos de lógica proposicional, las tablas de verdad en proposiciones

Ejercicio 1: Conceptualización de las reglas de inferencia

Ejercicio 2: Aplicación de las reglas de la inferencia Lógica.

Conclusión: El pastel no está hecho con azúcar

Ley de inferencia aplicada: Modus Tollendo Tollens (MTT)

Ejercicio 3: Razonamiento Deductivo e Inductivo

Argumentación: Inductivo, que consiste en considerar varias experiencias individuales para

Ejercicio 4: Problemas de aplicación

• Razonamiento en lenguaje natural:

p q r s (p→ (~ ((~r) (((p→q))^(((~r (pv(~ ((((p→q))^(((~r)→s)))^( (qvs) ((((((p→q))^(((~r)→s)))^((pv(~r

 Tabla de verdad con el simulador Lógica UNAD

P4: (q∨s) Dilema constructivo o silogismos disyuntivo P1, P2 y P3.

Al realizar los anteriores ejercicios, después de conocidos y estudiados los diferentes

Castaño, C. (2016). Razonamientos Lógicos. [Archivo de video]. Recuperado de

Gutiérrez, J. (2016). Tutoría Unidad 2 Curso 90004. [Archivo de video]. Recuperado de

Gutiérrez, W. (2016). Validez de un argumento. [Archivo de video]. Recuperado de

Rodríguez, H. (2017). Leyes de inferencia (Validación de argumentos). [Archivo de video].

También podría gustarte