INTRODUCCION

En esta unidad se desarrollarán las temáticas de leyes de inferencia y razonamientos deductivos e

inductivos como también se usará para apoyo de este trabajo el Uso del simulador Truth Table y la
tabla de verdad.
OBJETIVOS General:

•Conocer los métodos utilizados de leyes de inferencia y razonamientos deductivos e inductivos.

Específicos:

•Analizar cada uno de los temas a desarrollar.

•Identificar cada una de las leyes de inferencia y razonamiento deductivos.

•Desarrollar los puntos propuestos siguiendo los enlaces propuestos en el entorno del
conocimiento.
Ejercicio 2: Aplicación de las reglas de la inferencia Lógica.

Para el desarrollo de este ejercicio, es necesario que el estudiante revise en el

Entorno de Conocimiento (Unidad 2), las siguientes referencias:

• 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)

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

Una vez realizada la lectura, desarrolle la actividad propuesta.

Descripción del ejercicio:

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

Si Gabriela viaja entonces Gabriela conoceré muchas culturas. Gabriela viaja. Conclusión:
____________Gabriela conocerá muchas culturas________________________

Ley de inferencia aplicada: __________Modus Ponendo Ponens ( P P )______________

Lenguaje simbólico: 𝑝 → 𝑞

𝑝̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
𝑞̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅

Ejercicio 3: Razonamiento Deductivo e Inductivo

Para el desarrollo de este ejercicio, es necesario que el estudiante revise en el Entorno de

Conocimiento (Unidad 2), las siguientes referencias: • Arredondo, C. J., & Escobar, V. G. (2015).
Lógica: temas básicos. Distrito Federal, MÉXICO: Grupo Editorial Patria. (pp. 80-84). • Castaño, C.
(2016). Razonamientos Lógicos. [Archivo de video] Una vez realizada la lectura, desarrolle la
actividad propuesta.
Descripción del ejercicio:

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

a. La librería a la que frecuentemente va Sofía tiene el último fin de semana de cada mes
promociones; por lo que decide que a partir del próximo mes irá el último fin de semana a
comprar los libros que tanto le gustan, ahorrando así una cantidad importante de dinero.

Argumentación: El razonamiento utilizado es el inductivo, ya que, parte de que hay ofertas de

libros e intuye un plan de volver a la librería que posiblemente le ayudara a ahorrar dinero

Ejercicio 4: Problemas de aplicación

Para el desarrollo de este ejercicio, es necesario que el estudiante revise en el Entorno de

Conocimiento (Unidad 2), las siguientes referencias: • 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) •
Gutiérrez, W. (2016). Validez de un argumento. [Archivo de video]

Una vez realizada la lectura, desarrolle la tarea propuesta.

Descripción del ejercicio:

A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un

argumento para el desarrollo del ejercicio 4:

a. Expresión simbólica:
[(𝑝 → ¬𝑞) ∧ (𝑞 ∨ ¬𝑟) ∧ 𝑟] → ¬𝑝
Premisas:
P1: 𝑝 → ¬𝑞
P2: 𝑞 ∨ ¬𝑟
P3: 𝑟
Conclusión: ¬p

P: presto atención en clase

q: estudio

r: apruebo el examen

Razonamiento en lenguaje natural:

(A partir de las proposiciones simples anteriores y el lenguaje simbólico dado en el ejercicio, se

construye la expresión en lenguaje formal o natural)
Si presto atención en clase entonces no estudio. si estudio o no apruebo el examen. Si apruebo el
examen, por lo tanto, entonces no presto atención en clase.

Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico (El estudiante encontrará la Guía para el uso de recursos educativos Simulador
Lógica UNAD, en el Entorno de Aprendizaje Práctico, así como el link de acceso al
recurso)
}
• Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual)
p q r ¬p ¬q ¬r (p→~q) (qv~r) [(p→~q)^(qv ~r) [(p→~q)^(qv~r)^r)] [(p→~q)^(qv~r)^r)] → ¬𝑝

v v v f f f v v V f v
v v f f f v v f f f v
v f v f v f v V V f v
v f f f v v v V V v v
f v v v f f v v v f v
f v f v f v v f f f v
f f v v v f f v f f v
f f f v v v f v f f v
Se trata de una tautologia

Premisas:
P1: 𝑝 → ¬𝑞
P2: 𝑞 ∨ ¬𝑟
P3: 𝑟
P4 ¬p
Conclusión: ¬p
Demostración

Este argumento se base en la regla Modus Tollens "el modo que, al negar, niega",
contrario (2, Modus Ponendo Ponens ( P P ))
CONCLUSIONES
En este trabajo adquirimos algunos conocimientos de leyes de inferencia y razonamientos
deductivos e inductivos, llegando al desarrollo de cada uno de los objetivos propuestos en
este trabajo. Podemos concluir que para resolver las temáticas correspondientes sobre los
topis de razonamiento las podemos demostrar con tablas de verdad y reglas de inferencia.
Referencias
Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios: Larousse -
Grupo Editorial Patria. (pp. 29-38)

Chávez, C. P. (2000). Compendio de lógica: Larousse - Grupo Editorial Patria. (pp. 163-
166)

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)

Gutiérrez, J. (2016). Tutoría Unidad 2 Curso 90004. [Archivo de video] Una vez realizada la
lectura, desarrolle la actividad propuesta.

Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal, MÉXICO:
Grupo Editorial Patria. (pp. 80-84).

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

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) • Gutiérrez, W. (2016). Validez de un argumento.
[Archivo de video]