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

Daniel Esteban Muñoz Aldana

Universidad Abierta y a Distancia UNAD-CEAD Florencia

Nota de Autor

El presente documento corresponde al desarrollo de la Unidad 2: - Tarea 2 - Métodos para probar

la validez de argumentos del curso Lógica Matemática en Cumplimiento de los Requisitos para
la entrega del producto final, de la Escuela de Ciencias, Administrativas, Contables y de
Negocios (ECACEN), CEAD Florencia Zona Sur, del programa Administración de Empresas, el
escrito está dirigido principalmente al Esp. Andrés Vazco Rodríguez

Correspondencia: Código 1007531451, celular 3224036216, correo electrónico

daniel07munoz2001@gmail.com
Introducción

El propósito principal de esta Tarea 2 se enfoca esencialmente en la interpretación de la teoría de

lógica matemática aplicando los conceptos de proposiciones simples y compuestas, la tabla de
verdad, métodos de demostración, razonamientos lógicos, inferencia lógica y argumentos lógicos,
donde en la tarea desarrolle ejercicios de temas fundamentales en el álgebra, en la cual obtendré
nuevos conocimientos o retroalimentación de la teoría de Conectivos Lógicos.
 Objetivos

Objetivo general

- Implementar Actividad de Refuerzo, para la interpretación de la teoría de lógica

matemática aplicando los conceptos adecuados de la unidad 2

Objetivos específicos

- Fortalecer los conceptos propios de proposiciones simples y compuestas, la tabla de

verdad, métodos de demostración, razonamientos lógicos, inferencia lógica y
argumentos lógicos
- Ejecutar las capacidades de cada estudiante en el entorno de lógica matemática.
- Evaluar la solución de la interpretación de los problemas o ejercicios.
 Logica Matematica

La lógica matemática es la disciplina

que estudia los métodos de análisis y
razonamiento utilizando el lenguaje de
las matemáticas en forma analítica,
posee proposiciones en la cual también
tiene una unidad sistemática que puede
ser solo verdadera o sólo falsa no puede
ser verdadera y falsa a la vez, También
encontramos una lógica matemática en
operadores lógicos o cognitivos, los
operadores lógicos son los que usamos
frecuentemente en las proposiciones
más complejas no son tan Simples
dentro de los operadores y lo mismo es
si encontramos la negación en donde es
la que cambia el valor de verdad en una
proposición

Razonamiento Logico Leyes de la Inferencia Logica

El razonamiento es la actividad que

consiste en la organización y la
estructuración de ideas para
alcanzar una conclusión.
Deductivo: Parte de lo general para
llegar a lo particular. ( Validez)
Inductivo: Empieza en lo particular
para llega a lo general.
(Probabilidad)
En la cual un argumento es un
conjunto de proposiciones, de las
cuales se tienen dos o más premisas,
seguidas por una conclusión.
Es la manera como obtenemos conclusiones a partir
de enunciados u observaciones dadas, para ello
utilizamos un proceso llamado demostración lógica,
en el cual se utilizan las reglas de inferencia:
Modus Ponens o Modo de Afirmación: Esta regla
de inferencia establece que si se tiene una expresión
condicional se puede afirmar el consecuente en base
a la afirmación del antecedente.
Modus Tollens o Modo de Negación: Esta Regla de
Inferencia establece que en una expresión
condicional a partir de la negación del consecuente
se conoce la negación del antecedente
Modus Tollendo Ponens o Modo que Negando
Afirma: Esta regla de inferencia es aplicada en
silogismos disyuntivos y se obtiene la afirmación
de un argumento de la disyunción a partir de la
negación del otro. Por ejemplo si se tiene el
siguiente silogismo disyuntivo
Silogismo Hipotético: Mediante esta regla de
inferencia se aplica a silogismos que se basan en
hipótesis y que de acuerdo a la afirmación o
negación de una de ellas. es posible determinar la
verdad de la otra
Ejercicio 2: Aplicación de las reglas de la inferencia Lógica

 En agosto hay mucho viento, entonces puedo elevar cometas. En agosto hay mucho viento.

Desarrollo

Conclusión: En agosto hará mucho viento entonces elevare cometa

Ley de inferencia aplicada: Modus Ponendo Ponens (MPP)

Lenguaje simbólico:

p→q

______

Ejercicio 3: Razonamiento Deductivo e Inductivo

Argumento: Rafael Nadal tenista español, está considerado como uno de los mejores tenistas de

la historia y el mejor de todos los tiempos en pistas de tierra europea. Hasta la fecha ha sido

campeón de 17 torneos de Grand Slam, lo que le coloca como el segundo jugador profesional con

más títulos "grandes" en la historia del tenis, tras el suizo Roger Federer. Se concluye que si éste

año no juega Roger Federer en Wimbledon el ganador de éste torneo será Rafael Nadal.
Desarrollo

Argumentación: El razonamiento utilizado es inductivo, ya que, a partir de los hechos que dice

que Rafael Nadal es el mejor tenista de todos los tiempos, en los torneos de Grand Slam en tierra

europea donde se deduce que a pesar de ser el segundo jugador con más títulos no se sabe si tendrá

oportunidad en Wimbledon de ser campeón.

Ejercicio 4: Problemas de aplicación

Expresión simbólica:

[(𝑝 → ¬𝑟) ∧ (𝑞 → 𝑝) ∧ (𝑟 ∧ 𝑞)] → (𝑟 ∨ 𝑞)

Determinación de Premisas:

P1: 𝑝 → ¬𝑟

P2: 𝑞 → 𝑝

P3: 𝑟 ∧ 𝑞

Conclusión: 𝑟 ∨ 𝑞

Desarrollo

• Proposiciones simples:

p: Greeicy es Licenciada

r: es bailarina profesional

q: Greeicy es una docente de la UNAD

• Razonamiento en lenguaje natural:

 Si Greeicy es licenciada entonces no es bailarina profesional y Greeicy es una docente de la UNAD

si Greeicy es licenciada y es bailarina profesional y Greeicy es una docente de la UNAD entonces

es bailarina profesional o Greeicy es una docente de la UNAD

 Generar la tabla de verdad manualmente:

p q r ⌐ (p → (q → p) (r ˄ [(p → ⌐r ) ˄ (q → p) ˄ (r (r ˅ q) [(p → ⌐r ) ˄ (q → p) ˄ (r ˄ q)]→(r ˅ q)

r ⌐r ) q) ˄ q)]

v v v v v v v v v v

v v f v v v f f v v

v f v v v v f f v v

v f f v v v f f f v

f v v f v f v f v v

f v f f v f f f v v

f f v f v v f f v v

f f f f v v f f f v

• Resultado de la tabla de verdad: Tautología

 • Generar la tabla de verdad con el simulador Lógica UNAD

p q r ((p→~r)∧(q→p)∧(r∧q))→(r∨q)
v v v V
v v f V
v f v V
v f f V
f v v V
f v f V
f f v V
f f f V

Leyes de inferencia:

P1: (p → ⌐r)

P2: (q → p)

P3: (r ˄ q)

P4: (r ˅ q)

Conclusión: (r ˅ q)
Conclusión

 La realización de esta actividad es para que el docente vea el uso de comprensión y

aplicación de los conceptos de proposiciones simples y compuestas, la tabla de verdad,
métodos de demostración, razonamientos lógicos, inferencia lógica y argumentos lógicos,
y ver las habilidades para el des arrollamiento e interpretación de los problemas.
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&docID=11013570&t
m=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&docID=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&docID=10732485&t
m=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&docID=11230887&t
m=1496180214861

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

http://hdl.handle.net/10596/6559

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

http://hdl.handle.net/10596/6543

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

http://hdl.handle.net/10596/6548