Desarrollo de la Actividad

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

Ejercicio 2: Aplicación de las reglas de la inferencia Lógica

a. Si Daisy gana 100 millones de pesos en la lotería de Bogotá,

entonces, su esposo Ricardo se tomará la vida con calma. Daisy
gana 100 millones de pesos en la lotería de Bogotá.
Desarrollo
Conclusión: Ricardo se tomará la vida con calma
Ley de inferencia aplicada: Modus Ponendo Ponens (PP)
Lenguaje simbólico: p →q

q́

Ejercicio 3: Razonamiento Deductivo e Inductivo

a. Argumento: Según estudios médicos las personas con altas dosis

de sodio en su cuerpo sufren de hipertensión. A Herminda le gusta
 condimentar sus alimentos con mucha sal, los médicos han
diagnosticado que Herminda sufrirá de hipertensión.
Desarrollo
Argumentación: El razonamiento utilizado es el deductivo, ya
que, a partir de hechos conocidos como médicos las personas con
altas dosis de sodio en su cuerpo sufren de hipertensión, se
deduce que Herminda sufrirá de hipertensión.

Ejercicio 3: Problemas de aplicación

a. Expresión simbólica: [ ( p → q ) ∧ ( p ∨ s ) ∧ ( ¬ s ∧¬ q )]→ q

Premisas:
P1:( p →q )
P2:( p ∨s )
P3:( ¬ s ∧¬ q )
Conclusión: q

Desarrollo:

 Proposiciones simples:
p: Realizo todas las actividades del curso de lógica matemática

q: Apruebo el curso de lógica matemática

s: Cumplo con el requisito para matricular matemática básica

 Razonamiento en lenguaje natural:

Si Realizo todas las actividades del curso de lógica matemática

entonces apruebo el curso de lógica matemática; y Realizo todas
las actividades del curso de lógica matemática o Cumplo con el
requisito para matricular matemática básica; si no Cumplo con el
requisito para matricular matemática básica y no Apruebo el curso
 de lógica matemática. Entonces no Apruebo el curso de lógica
matemática.

 Generar la tabla de verdad manualmente:

(¬ [(p→q)∧(p∨ [(p→q)∧(p∨ s)∧

p q s (p→q) p∨ s ¬ s ¬q
s∧¬q) s)∧(¬ s∧¬q)] (¬ s∧¬q)]→q

v v v v v f f f f v
v v f v v v f f f v
v f v f v f v f f v
v f f f v v v v f v
f v v v v f f f f v
f v f v f v f f f v
f f v v v f v f f v
f f f v f v v v f v

Resultado de la tabla de verdad: TAUTOLOGÍA

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

leyes de inferencia:
Premisas:
P1:( p →q )
P2:( p ∨s )
P3:( ¬ s ∧¬ q )
P4: s Simplificación de P2
Conclusión: q Silogismo disyuntivo entre P3 y P4

BIBLIOGRAFIA
 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)