LÓGICA MATEMÁTICA

TAREA 2 – MÉTODOS PARA PROBAR VALIDEZ DE ARGUMENTOS

PRESENTADO POR
LEONARDO FABIO COBO – 1.113.514.749

GRUPO No. 341

PRESENTADO A:
LEYDER HERNAN LOPEZ
TUTOR

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA
PROGRAMA ING. DE SISTEMAS
PALMIRA, NOVIEMBRE 2018
 INTRODUCCIÓN

En el presente trabajo se desarrollarán ejercicios para poner en practica

lo aprendido en la unidad 2 - Métodos para probar la validez de
argumentos, donde se visualizará a través de un mapa conceptual las
reglas de la inferencia y con ejercicios prácticos la aplicación de algunas
de estas reglas.
 OBJETIVOS

Objetivo General:

• Identificar las reglas de inferencia y razonamientos deductivos e

inductivos

Objetivos Específicos:

• Probar la validez de diferentes argumentos en problemas.

• Aplicar las reglas de la Inferencia
• Validar proposiciones y aplicar tabla de verdad.
 Unidad 2 - Reglas de Inferencia y Razonamientos
Deductivos e Inductivos

Ejercicio 1: Conceptualización de las reglas de inferencia.

LÓGICA MATEMÁTICA

RAZONAMIENTOS LEYES DE LA INFERENCIA

LÓGICA INFERENCIAL LÓGICA
LÓGICOS INFERENCIA LÓGICA

Premisas (Proposiciones) p Proceso Mental y Lógica Reglas de Inferencia Principios de Raciocinio

(Formas Correctas de Correcto (Pensamiento)
Conclusiones (Proposición p1, p2, p3… => q Razonamiento)
Final) q Premisas (Proposiciones) p
q = Falsa Premisas (Proposiciones) p
P => q Conclusiones (Proposición
q = Verdadera Conclusiones (Proposición Final) q
q = Falsa Final) q
q= Posible Deducción (Paso Lógico)
q = Verdadera Deducción (Paso Lógico)
Si p entonces q y p
Si p entonces q y p
- Modus Ponendo Ponens.
- Deducción Proposicional
- Modus Tollendo Tellens
(TT)
- Doble Negación (DN)
- Adjunción Y
Simplificación
- Modus Tollendo Ponens
(TP)
- Ley de la Adición (LA)
- Silogismo Hipotético
(SH)
- Silogismo Disyuntivo
(DS)
- Simplificacion
Disyuntiva (SD)
- Ley Conmutativa
Ejercicio 2: Aplicación de las reglas de la inferencia Lógica.

a. Si usted está en Madrid, entonces su reloj señala la misma hora que en

Barcelona. Usted está en Madrid.

Conclusión: Su reloj señala la misma hora que en Barcelona.

Ley de inferencia aplicada: Modus Ponens (PP)

Lenguaje simbólico: p→q

p
q

A partir del argumento que haya seleccionado deberá dar respuesta a los
siguientes ítems:

• La conclusión que se identifica en el argumento:

para que el reloj marque la misma hora que en Barcelona, el debe

estar en Madrid y la premisa 2, nos afirma que él está en Madrid.

• La ley de inferencia que se aplica para probar el argumento:

Modus Ponens PP, ya que esta regla significa “Afirmando Afirmo”,

dicho de otra forma, la primera proposición expresa que, si se verifica
o valida a p entonces verifico a q, y la con la segunda verifico a p, lo
que me lleva a la conclusión que es que verifico a q.

• Definir la expresión del argumento en lenguaje simbólico o

formal:

p → q: Si usted está en Madrid, entonces su reloj señala la misma

hora que en Barcelona.
p: Usted está en Madrid.
q: Su reloj señala la misma hora que en Barcelona.

p→q (premisa 1)
p (premisa 2)
q (Conclusión)
Ejercicio 3: Razonamiento Deductivo e Inductivo

a. Según las instrucciones del recetario los cupcakes se deben hornear

durante una hora. El pastelero Juan introduce al horno los cupcakes a
las diez de la mañana, por lo tanto, los cupcakes estarán listos a las
once de la mañana.

A partir del razonamiento que haya seleccionado, deberá dar respuesta a

los siguientes ítems:

• Identificar si el razonamiento es deductivo o inductivo:

El razonamiento utilizado es DEDUCTIVO

• Argumentar la respuesta con sus propias palabras:

Ya que a partir del hecho general que me dice en el recetario que

el tiempo de horneado de las galletas es de una hora, y en la
premisa me dice el pastelero Juan introduce los cupcakes a las 10,
por lo tanto, a las 11 de la mañana están listos, una hora después.
Ejercicio 4: Problemas de aplicación

a. Expresión simbólica: [(𝒑 ∧ 𝒒) ∧ (𝒑 → 𝒓)] ⟶ (𝒓 ∧ 𝒒)

Premisas:
P1: 𝒑 ∧ 𝒒
P2: 𝒑 → 𝒓
Conclusión: 𝒓 ∧ 𝒒

Razonamiento en lenguaje natural:

Si es el mejor futbolista del mundo Y Gana el balón de Oro. Si es el mejor

futbolista del mundo Entonces es Cristiano Ronaldo. Por tanto, es
Cristiano Ronaldo Y Gana el balón de Oro.

Tabla de la verdad: (Simulador Truth tables)

Tabla de la verdad
p q r (p^q) (p→r) (((p^q))^((p→r))) (r^q) (((((p^q))^((p→r))))→((r^q)))

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

Leyes de inferencia:

Premisa 1: 𝒑 ∧ 𝒒
Premisa 2: 𝒑 → 𝒓

Premisa 3: 𝒓 ∧ 𝒒
Premisa 4: 𝒒 Modus Ponens (1,3) Conclusión
 CONCLUSIONES

Con el siguiente trabajo razonamos acerca de las conclusiones lógicas y

respuestas que se pueden derivar a partir de un problema, La lógica valida
y argumenta la demostración e inferencia valida, esto nos aporta de gran
forma a nuestro día a día, a tener un razonamiento más preciso e
instrumentos cognitivos para argumentar claramente cualquiera situación
de forma más precisa.
 BIBLIOGRAFÍA

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&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&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&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&docID=11230887&tm=1496180214861

http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/

Introducción a Lógica, Última actualización: enero, 2013 - Derechos de

autor © 1996 Stefan Waner y Steven R. Costenoble, tomado de:
https://www.zweigmedia.com/MundoReal/logic/logic5.html

Inferencia y Demostración: Matemáticas Discretas, Nov 23, 2017

https://medium.com/@matematicasdiscretaslibro/5-inferencia-y-
demostraci%C3%B3n-2a000b541c0a