UNIDAD 2: TAREA 2 - MÉTODOS PARA PROBAR LA VALIDEZ DE

ARGUMENTOS.

PRESENTADO POR:
YARSON CELESTINO JIMENEZ

PRESENTADO A:
DIANA JUDITH MENDEZ

CURSO:
LOGICA MATEMATICA

GRUPO: 90004_618

UNIVERSIDAD ABIERTA Y A DISTANCIA UNAD

OCTUBRE 2019
 INTRODUCCION
En el presente trabajo se conceptualiza algunos aspectos correspondientes a la
unidad 2 tarea 2, Métodos para probar la validez de argumentos, en el cual
contextualizamos las reglas de inferencia Modus Ponendo Ponens, Modus
Tollendo Tollens, y Silogismos Hipotético relacionando ejemplos de las mismas
Podremos ver el planteamiento y formulación de expresiones del lenguaje
simbólico y el lenguaje natural, haciendo un análisis en la aplicación de
conectores lógicos que se dan para determinadas situaciones que se plantean
en el trabajo a presentar. Argumentar y formular tablas de verdad por medio del
análisis de premisas y la realización de tablas por medio del simulador unad,
todos los conocimientos adquiridos
OBJETIVOS
➢ Profundizar algunos conceptos correspondientes a la unidad 2 paso 2
Métodos para probar la validez de argumentos.

➢ Contextualizar las reglas de inferencia Modus Ponendo Ponens, Modus

TollendoTollens, y Silogismos Hipotético relacionando ejemplos de estas.

➢ realizar el planteamiento y formulación de expresiones del lenguaje

simbólico y el lenguaje natural, haciendo un análisis en la aplicación de
conectores lógicos.

➢ Aplicar las tablas de verdad por medio del análisis de premisas.

➢ Realizar tablas de verdad por medio de simulador lógico unad.

➢ Identificar métodos de razonamiento

 Lógica matemática

Razonamiento lógico y leyes de

Teoría de conjunto propiedades
inferencia
y operaciones

comprende
Teoría de conjunto proposiciones

conjunto Lógica y argumento Reglas de inferencia

funciones Expresiones simples
o compuestas
relaciones Razonamiento

pueden ser Modelo tollendo: niega un elemento de

una disyunción, eliminación del o, si se
nos dice que al menos una de las dos
deductivo Inductivo proposiciones es verdadera; y también se
Verdaderas Falsas nos dijo que no es la primera la que es
verdadera; se puede inferir que debe ser
la última la que es verdadera.
Modus ponens : te ayuda a
llevar una argumentación
válida, eliminación de la
implicación o regla de
separación

Tautología: proposiciones genera tablas de verdad

verdaderas

Contradicción: falso para Contingencia: cuando los

todos los valores valores son verdaderos y falsos
Nos permite encontrar
conclusión a partir de varios
enunciados
Ejercicio 2: Aplicación de las reglas de la inferencia Lógica.

Descripción del ejercicio:

A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:

c. Si conduzco mi vehículo entonces manejo prudentemente. Si manejo

prudentemente entonces evitaré accidentes.

p: conduzco mi vehículo

q: manejo prudentemente.

r: evitaré accidentes.

Conclusión: si conduzco mi vehículo entonces evitare accidentes

Ley de inferencia aplicada: silogismo hipotético

Lenguaje simbólico:

P1: p→ q

P2: q → r

C: p →r

Descripción del ejercicio:

A continuación, encontrará una serie de razonamientos para el desarrollo del

ejercicio 3

C. Gabriela dice que la arquitectura es el estudio del arte de habitar un espacio,

por ende, considera que se debe definir de acuerdo con el entorno, el clima,
optimizando el área a construir, dándole utilidad a cada metro cuadrado y con el
propósito de modernizar de una manera sobria la zona en la que el proyecto
arquitectónico será ejecutado

El razonamiento propuesto es deductivo ya que hace uso de la definición general

(premisas generales) de la arquitectura como medio artístico de la utilización del
espacio para generar una conclusión, también generalizada (relación armoniosa
espacio habitable-entorno). La misma responde de manera adecuada a las
necesidades del individuo y la sociedad.

Ejercicio 4: Problemas de aplicación

c. Expresión simbólica: [(𝑝 ∨ (𝑞 ∧ 𝑟)) ∧ ¬(𝑞 ∧ 𝑟) ∧ (𝑝 → 𝑠)] → 𝑠

Premisas
P1: 𝑝 ∨ (𝑞 ∧ 𝑟)
P2: ¬(𝑞 ∧ 𝑟)

P3: 𝑝 → 𝑠

Conclusión: 𝑠

P: aprender matemáticas desarrolla el razonamiento

q: tiene buena ortografía

r: posee buena comprensión lectora

s: aprueba el curso

• Remplazar las variables expresadas simbólicamente y llevarlas al

lenguaje natural.

Aprender matemáticas desarrolla el razonamiento o tiene buena ortografía y

posee buena comprensión lectora y no tiene buena ortografía y no posee buena
comprensión lectora y aprende matemáticas desarrolla el razonamiento
entonces aprueba el curso.
P1: p∨(q∧r)
P2: ¬(q∧r)
P3: p→s
C: s
P4: p de p1 y p2 mudus tollendo ponens
P5: s de p3 y p4 modus ponendo ponens
 CONCLUSION
Gracias al desarrollo del presente trabajo se pudo analizar y comprender las
temáticas tratadas como los son los tipos de razonamiento, la validez de las
conclusiones y la demostración por inferencias, tablas de verdad y a través de
diferentes ejercicios planteados en la guía del trabajo del curso de lógica
matemática, del mismo modo se socializaron los mismos en el foro de la presente
actividad, con el fin de compartir estos aportes con los demás miembros del
grupo colaborativo y de este modo poder darle una solución concreta a cada
planteamiento, al poder entender la temática, vemos que cada caso se puede
aplicar en diferentes problemas sin importar de que estemos tratando
 REFERENCIAS
Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y
ejercicios: Larousse - Grupo Editorial Patria. (pp. 29-38). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=40&docI
D=11013570&tm=1492519542738
Chávez, C. P. (2000). Compendio de lógica: Larousse - Grupo Editorial
Patria. (pp.163-166). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=178&doc
ID=11046000&tm=1492520104862
Pérez, A. R. (2013). Una introducción a las matemáticas discretas y
teoría de grafos. Córdoba, AR: El Cid Editor. (pp. 40-49) Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=59&docI
D=10732485&tm=1492520387992
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&docI
D=11230887&tm=1496180214861
Gutiérrez, J. (2016). Tutoría Unidad 2 Curso 90004. [Archivo de video].
Recuperado de http://hdl.handle.net/10596/6559