Introducción

Con el manejo de unas pocas reglas empezamos a aprender el método de las

deducciones formales. Es decir, se ha aprendido el camino preciso de demostrar
que los razonamientos son válidos. Un razonamiento es simplemente un conjunto
de proposiciones dadas como premisas y una conclusión deducida de estas
premisas. Cuando se habla de válido se entiende que la conclusión es consecuencia
lógica de las premisas. Una deducción formal es una serie de proposiciones o pasos
en la cual cada paso es una premisa o está deducida directamente de los pasos
que la preceden por medio de una determinada regla.

Objetivos
 - Realizar los 4 ejercicios propuestos en el curso para esta fase
- Aplicar las leyes de inferencia
- Aplicar el pensamiento deductivo y inductivo

Actividades a desarrollar
La tarea de esta unidad se compone de una serie de ejercicios que se describen a
continuación:

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

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

Entorno de Conocimiento (Unidad 2), las siguientes 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)

Descripción del ejercicio:

Socializar en el Foro diseñado para el desarrollo de la actividad unidad 2, un mapa

conceptual que encierre los conceptos básicos de la presente unidad que son:

 Lógica inferencial
 razonamientos lógicos
 inferencia lógica
 leyes de la inferencia lógica
https://www.youtube.com/watch?v=eFFBtQEKEN4
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:

e. Si se matriculan más del cupo de estudiantes en el curso, entonces se

contratan más tutores. Si se contratan más tutores, entonces se amplía la sala
de tutores.
Tenemos que
𝑝 = se matriculan más del cupo de estudiantes en el curso
𝑞 = contratan más tutores
𝑟 = amplía la sala de tutores

sí una causa se sigue una consecuencia, y esta consecuencia es a su vez causa de

una segunda consecuencia, se puede decir que esa primera causa es causa de esa
segunda consecuencia.

𝑝 → 𝑞 premisa 1
𝑞 → 𝑟 premisa 2
𝑝 → 𝑟 conclusión

Conclusión: 𝑝 → 𝑟,sí se matriculan más estudiantes al curso entonces se

amplía la sala de tutores
Ley de inferencia aplicada: Silogismo Hipotético
 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.

e. En distintas circunstancias Ana le ha pedido el cargador del celular prestado

a Carlos, pero él no ha querido hacerlo debido a que Ana le extravió el
cargador a su primo Esteban y el de su hermana Elba. ¿Qué tipo de
razonamiento uso Carlos para determinar esta decisión?

Uso razonamiento inductivo que consiste en considerar varias experiencias

individuales para extraer de ellas un principio más amplio y general. Es importante
tener en cuenta que, pese a que se parta de premisas verdaderas, la conclusión
puede resultar falsa.

Ana le extravió el cargador a su primo Esteban primera premisa

Ana le extravió el cargador a su hermana Elba segunda premisa

Ana va a extraviar el cargador a Carlos conclusión

Por lo tanto, basado a este pensamiento inductivo él no se lo presta el cargador

basado en premisas verdaderas pero él puede llegar a una conclusión falsa porque
no se puede saber si ella va a extraviar su cargador
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:

e. Expresión simbólica: {[(𝒑 → 𝒒) ∨ 𝒓] ∧ (𝒓 →∼ 𝒑) ∧ (𝒑 ∧ 𝒔)} ⟶ (𝒒 ∧ 𝒔)

Premisas:
P1: (𝒑 → 𝒒) ∨ 𝒓
P2: 𝒓 →∼ 𝒑
P3: 𝒑 ∧ 𝒔

Conclusión: 𝒒 ∧ 𝒔

A partir de la expresión simbólica seleccionada, el estudiante deberá:

 Definir las proposiciones simples, tendrá la libertad de definirla bajo una

descripción basada en un contexto, el que se solicita es un contexto
académico:

p = la ballena es un mamifero

q = toma su oxigeno del aire

r = necesita branquias
s = habita el oceano

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje

natural. Las proposiciones simples deben ser de autoría de cada estudiante
{[(𝒑 → 𝒒) ∨ 𝒓] ∧ (𝒓 →∼ 𝒑) ∧ (𝒑 ∧ 𝒔)} ⟶ (𝒒 ∧ 𝒔)

Si la ballena es un mamífero, toma su oxigeno del aire o necesita branquias

y si necesita branquias entonces la ballena no es un mamífero y si la ballena
es un mamífero y habita el océano, entonces toma su oxigeno del aire y
habita el océano
Premisas:
P1: si la ballena es un mamífero, toma su oxigeno del aire o necesita
branquias
P2: si necesita branquias, la ballena no es un mamífero
P3: la ballena es un mamífero y habita el océano

Conclusión: toma oxigeno del aire y habita el océano

 Generar una tabla de verdad con el simulador Truth Table a partir del
lenguaje simbólico
 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En
Word, Excel o foto del desarrollo manual).

p q r s p→q (p→q)∨r ∼p (r→∼p)

T T T T T T F F
T T T F T T F F
T T F T T T F T
T T F F F F F T
T F T T F T F F
T F T F F T F F
T F F T F F F T
T F F F F F F T
F T T T T T T T
F T T F T T T T
F T F T T T T T
F T F F T T T T
F F T T T T T T
F F T F T T T T
F F F T T T T T
F F F F T T T T
 [(p→q)∨r]∧(r→∼p)∧(p∧s
(p∧s)
) )
T F
F F
T T
F F
T F
F F
T F
F F
F F
F F
F F
F F
F F
F F
F F
F F
{[(p→q)∨r]∧(r→∼p)∧(p∧s)}⟶(q∧s
(q∧s)
T T
F T
T T
F T
T T
T T
T T
T T
T T
F T
T T
F T
T T
T T
T T
T T

 Demostración de la validez del argumento mediante las leyes de la

inferencia lógica
{[(𝒑 → 𝒒) ∨ 𝒓] ∧ (𝒓 →∼ 𝒑) ∧ (𝒑 ∧ 𝒔)} ⟶ (𝒒 ∧ 𝒔)
Premisas:
P1: (𝒑 → 𝒒) ∨ 𝒓
P2: 𝒓 →∼ 𝒑
P3: 𝒑 ∧ 𝒔

Conclusión: 𝒒 ∧ 𝒔

P4: 𝒑 (S) P3

P5: 𝒔 (S) P3

P6: ∼∼ 𝒑 (DN) P4

P7: ∼ 𝒓 (TT) P2 Y P6

P8: (𝒑 → 𝒒) (TP) P1 Y P7
P9: 𝒒 (PP) P8 Y P4

P10: 𝒒 ∧ 𝒔 (A) P5 Y P9
 Conclusiones

El pensamiento lógico es fundamental para encontrar solución a diferentes

problemas de nuestra vida cotidiana también nos ayuda a llegar a conclusiones
basadas en la lógica de forma organizada y verídica.