PORTADA

Introducción

El trabajo realizado nos fomentara sobre el uso de razonamiento y sus

facilidades para poder sacar conclusiones de un evento en particular, el
razonamiento matemática es muy importante porque nos obliga a darle
sentido a nuestro entorno.

Siendo futuros pedagogos podemos usar la razón y sus métodos para ayudar
a comprender varias situaciones mediante tablas de verdad o las reglas de
inferencia y determinar su valor de verdad o falsedad con conclusiones reales
y fundamentadas para la solución del problema.
 OBJETIVOS.

Aplicar las tablas de verdad para probar la validez de argumentos.

Reglas de inferencia para probar la validez de argumentos.

Ejercicio 1: Proposiciones y tablas de verdad

Descripción del ejercicio:

A continuación, encontrará las proposiciones simples para el desarrollo del ejercicio 1:

A)
p: El 2020 fue un año atípico para todo el mundo
q: El COVID19 afecto gran parte de la economía
r: El COVID19 nos hizo reinventar en muchos campos de acción

(𝑝 ∨ 𝑟) ∧ (𝑝 ↔ 𝑞)

➢ Escriba la proposición compuesta propuesta en lenguaje natural.

El 2020 fue un año atípico para todo el mundo o el COVID19 nos hizo reinventar en
muchos campos de acción y el 2020 fue un año atípico para todo el mundo si y solo si el
COVID19 afecto gran parte de la economía.

➢ Generar una tabla de verdad manualmente a partir del lenguaje simbólico y

determinar si el resultado es una tautología, contingencia o contradicción.

p q r (p v r ) (𝑝 ↔ 𝑞) (𝑝 ∨ 𝑟) ∧ (𝑝 ↔ 𝑞)
v v v v v v
v v f v v v
v f v v f f
v f f v f f
f v v v f f
f v f f f f
f f v v v v
f f f f v f

El resultado presentado es una contingencia ya que la proposición compuesta puede tomar

valores de verdad y falsedad.
➢ Generar la tabla de verdad a través del simulador Lógica UNAD, el paso a paso para
uso del simulador lo podrá encontrar en el anexo 2 (Simulador Lógica UNAD), ubicado
en el entorno de aprendizaje en la carpeta Guía de actividades y rúbrica de evaluación -
Unidad 1- Tarea 1 - Métodos para probar la validez de argumentos.

Ejercicio 2: Identificación de las reglas de la inferencia lógica.

A continuación, encuentra el lenguaje simbólico de expresiones que

representan algunas leyes de inferencia.

A) Expresión simbólica

r→s p→q p→q

r ¬q q→r

s ¬p p→r
A partir del argumento en lenguaje simbólico deberá dar respuesta a los siguientes
ítems:

➢ Nombrar la ley de inferencia que representa cada expresión simbólica.

r→s (Ley de inferencia: Modus Ponendo Ponens. )

r

p→q (Ley de inferencia: Modus Tollendo Tollens.)

¬q

¬p

p→q (Ley de inferencia: silogismo hipotético.)

q→r

p→r

➢ Definir las proposiciones simples, tendrá la libertad de definirlas bajo una descripción
basada en un contexto, el que se solicita es un contexto académico (puede usar las
mismas proposiciones simples en cada una de las 3 expresiones simbólicas
seleccionadas)

P: Si estudio gano los exámenes en la UNAD.

q: Podré aprobar todos los créditos.

r: Aprobare todos los semestres académicos.

s: Me graduare como un profesional en la UNAD.
➢ Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje
simbólico.

r→s Si, apruebo todos los semestres académicos entonces me graduare como
profesional.
r
s Aprobé todos los semestres académicos.

Conclusión:

Me gradué como profesional.

p→q Si estudio gano los exámenes en la UNAD entonces podre aprobar todos los
créditos.
¬q
No aprobé todos los créditos.
¬p
Conclusión:

Entonces no gane los exámenes en la UNAD.

p→q Si estudio gano los exámenes en la UNAD entonces podre aprobar todos los
créditos.
q→r
Podré aprobar todos los créditos entonces aprobare todos los semestres.

p→r Conclusión:

Estudie para ganar los exámenes en la UNAD entonces aprobaré todos los
semestres académicos.

Ejercicio 3: Aplicación de las reglas de la inferencia lógica.

A. Si Rafael va al gimnasio entonces Rafael tiene un cuerpo tonificado. Rafael va al

gimnasio.
a. Conclusión: Rafael tiene el cuerpo tonificado.

b. Ley de inferencia aplicada: Modus Ponendo Ponens.

c. Lenguaje simbólico:

p →q pq Conclusión.

Ejercicio 4: Problemas de aplicación:

Expresión simbólica:

{(𝒑 → ¬𝒓) ∧ (¬𝒒 → 𝒑) ∧ (𝒑 ∧ ¬𝒒)} → (𝒑 ∧ ¬𝒓)

Premisas:
P1: 𝒑 → ¬𝒓
P2: ¬𝒒 → 𝒑
P3: 𝒑 ∧ ¬𝒒

Conclusión: 𝒑 ∧ ¬𝒓

➢ 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: Laura estudia Psicología en la UNAD.

q: Ella estudia de manera virtual.
r: carga sus archivos PDF en la plataforma de la UNAD.
➢ Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.
Las proposiciones simples deben ser de autoría de cada estudiante.

{(𝒑 → ¬𝒓) ∧ (¬𝒒 → 𝒑) ∧ (𝒑 ∧ ¬𝒒)} → (𝒑 ∧ ¬𝒓)

Si, Laura estudia Psicología en la UNAD entonces ella no carga sus archivos PDF en la
plataforma de la UNAD y ella no estudia de manera virtual entonces ella estudia psicología
en la UNAD y Laura estudia psicología en la UNAD y ella no estudia de manera virtual.
Conclusión:
Laura estudia Psicología en la UNAD y ella no carga sus archivos PDF en la plataforma de la
UNAD.

➢ Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).

q r ¬𝒒 ¬𝒓 (𝒑 → ¬𝒓) (¬𝒒 → 𝒑)
v v f f f v
v f f v v v
f v v f f v
f f v v v v
v v f f v v
v f f v v v
f v v f v f
f f v v v f

𝒑∧ 𝒒 𝒑 𝒓 ∧ 𝒒 𝒑 𝒒 𝒑 ∧ 𝒑∧ 𝒒 𝒑 𝒓 ∧ 𝒒 𝒑 ∧ 𝒑∧ 𝒒

( ¬ ) ( →¬ ) (¬ → ) (¬ → ) ( ¬ {)( → ¬ ) (¬ → ) ( ¬ )}
f f f f
f v f f
v f v f
v v v v
f v f f
f v f f
f f f f
f f f f
 {(𝒑 → ¬𝒓) ∧ (¬𝒒 → 𝒑) ∧ (𝒑 ∧ ¬𝒒)} → (𝒑 ∧ ¬𝒓)
v
v
v
v
v
v
v
v

➢ Generar la tabla de verdad a través del simulador Lógica UNAD, el paso a paso para
uso del simulador lo podrá encontrar en el anexo 2 (Simulador Lógica UNAD)
➢ Demostración de la validez del argumento mediante las leyes de la inferencia lógica

P1: 𝒑 → ¬𝒓
P2: ¬𝒒 → 𝒑
P3: 𝒑 ∧ ¬𝒒
P4: p simplificación p3.
P5: ¬r modus Ponendo ponens de p1 y p4.

Conclusión: 𝒑 ∧ ¬𝒓 conjunción p4 y p5.

CONCLUSIONES.

La solución del anterior trabajo a presentar nos demuestra el valor del uso de la
lógica matemática para enfrentarnos a situaciones problémicas que podrían ser en
nuestra vida cotidiana. La posibilidad de facilitar y poder concluir sobre una
situación-problema usando métodos como identificar premisas y saber que
razonamiento podemos utilizar para deducir la problemática.

El tema tratado fue muy interesante y muy práctico de entender a los estudiantes
de pedagogía nos puede servir para mejorar con nuestro pensamiento lógico que
es muy importante en cualquier Área de nuestro trabajo.
 BIBLIOGRAFIA.

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

• Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. (pp. 19-39).

México, D.F, Larousse - Grupo Editorial Patria.