DAHIANA MARCELA ORTEGA OSPINA

Cc: 1.068.929.192

PENSAMIENTO LOGICO MATEMATICO

Universidad Nacional Abierta y a Distancia Vicerrectoría Académica y

de Investigación Curso: Pensamiento Lógico y Matemático

Escuela de ciencias básicas, tecnología e ingeniería.

Código: 200611_2463

2022
Ejercicio 1: Proposiciones y tablas de verdad

A continuación, encontrará las proposiciones simples para el

desarrollo del ejercicio 1:
➢ Proposiciones simples
p: La UNAD es una universidad pública
q: La UNAD cuenta con 73 programas de educación superior con
registro calificado
r: La UNAD es la institución pública de educación superior
más grande del país

➢ Lenguaje simbólico

(𝑝 ∧ 𝑞) → r

➢ Lenguaje Natural

Si la UNAD es una Universidad pública y Si la UNAD cuenta con 73

programas de educación superior con registro calificado, entonces la
UNAD si es la institución pública de educación superior más grande
del país
.
 ➢ Tabla manual

p q r (𝑝 ∧ 𝑞) →r (𝑝 ∧ 𝑞) → r
v v v v v v
v v f v f f
v f v f v v
v f f f v v
f v v f v v
f v f f v v
f f v f v v
f f f f v v

➢ Se clasifica como: Contingencia.

➢ Tabla de verdad Simulador UNAD

Ejercicio 2: Identificación de las reglas de la inferencia lógica
➢ Expresión simbólica
1¬ p → ¬ q 2 p 3 p→q
¬q→r q ¬q
¬p→r p∧q ¬p

➢ Ley de inferencia de la expresión:

1.simbolismo hipotético,
2.Conjucion,
3.simbolismo disyuntivo

➢ Proposiciones simples:

p: Sofia no es profesora de Catedra en la

UNAD
q: Sofia no dicta clases virtuales todos los días
r: Sofia toma asistencia de los estudiantes que
ingresan a la clase.

➢ Lenguaje Natural:
Si Sofia no es profesora de Catedra en la UNAD entonces Sofia no
dicta cada semana clases virtuales, Sofia toma asistencia de los
estudiantes que ingresan a la clase, si Sofia no dicta clases virtuales
todos los días, Sofia toma asistencia de los estudiantes que ingresan
a la clase .Por lo tanto, Sofia no es profesora de Catedra en la
UNAD , por ende Sofia toma asistencia de los estudiantes que
ingresan a la clase.

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

➢ Argumento: Si al dividir 12 entre 6 obtenemos2, entonces la

división no tiene residuo. Si la división no tiene residuo,
entonces 12 es divisible por 6.
 ➢ Lenguaje simbólico:

p: Al dividir 12 entre 6 obtenemos

q: la división no tiene residuo

r: 12 es divisible por 6

¬p→¬q
¬q→r
¬p→r

➢ Ley de inferencia aplicada: Silogismo Hipotético

➢ Conclusión: 12 es divisible por 6

Ejercicio 4: Problemas de aplicación

➢ Expresión simbólica: [(𝑞 ⟶∼ r) ꓥ (p ⟶ 𝑞 ) ] ⟶ (p ⟶∼ r)

Premisas:
P1: (𝑞 ⟶∼ r)
P2: (p ⟶ 𝑞 )

Conclusión: (p ⟶∼ r)

➢ Proposiciones simples:

p: Juan Juega futbol en el equipo

del Junior
q: Juan hizo 3 goles en 1 partido
r: Juan es el mejor jugador del equipo

➢ Lenguaje Natural:

Si Juan hizo 3 goles en un pardo de futbol entonces Juan no es el mejor

jugador del equipo, y si juan juega futbol en el equipo del Junior
entonces Juan hizo 3 goles en 1 partido, Pues Juan es juega futbol en
el quipo del Junior y no es es el mejor jugador del equipo
 Tabla de verdad manual
p q r ∼r (𝑞 ⟶∼ r) (p ⟶ 𝑞 ) (p ⟶∼ r) [(𝑞 ⟶∼ r) ꓥ (p ⟶ 𝑞 ) ] ⟶ (p ⟶∼ r)

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

➢ Tabla de verdad Simulador UNAD

 ➢ Demostración de la validez del argumento mediante las
Leyes de Inferencia:

➢ P1: (𝑞 ⟶∼ r)
➢ P2: (p ⟶ 𝑞 )

Conclusión: (p ⟶∼ r)

𝑞 ⟶∼ r)
p⟶𝑞
p ⟶∼ r

SILOGISMO CONSTRUCTIVO

𝑝∨𝑞