Guía de actividades y rúbrica de evaluación – Tarea 1

Métodos para probar la validez de argumentos.

entregado por:

María Alejandra Lazzo Viasus

Código: 1007301211

Entregado a

Tutor:

Universidad Nacional Abierta y a Distancia

Vicerrectoría Académica y de Investigación

Curso: Pensamiento Lógico y Matemático

Código: 200611
Ejercicio 1: Proposiciones y tablas de verdad
B)
➢ Proposiciones simples
p: Colombia es un país de la unión europea.
q: Colombia es un país de habla hispana.
➢ Lenguaje simbólico
[(~p → q)∧~p]→q
➢ Lenguaje Natural
Si Colombia no es un país de la unión europea entonces Colombia es un país de habla
hispana. Colombia no es un país de la unión europea si Colombia es un país de habla hispana.
➢ Tabla de verdad manual
p q ~p ~p → q (~p → q)∧~p [(~p → q)∧~p]→q
V V F V F V
V F F V F V
F V V V V V
F F V F F V

➢ Se clasifica como: tautología

➢ Tabla de verdad Simulador UNAD

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

B. Expresión simbólica
s →r
r→ p
s→ p
➢ Ley de inferencia de la expresión: silogismo hipotético (SH)
➢ Proposiciones simples:
S: La UNAD es una universidad de Alta Calidad.
r: Los cursos de la UNAD son acreditados.
p: Los estudiantes de la UNAD son acompañados por tutores de excelencia
➢ Lenguaje Natural:
si la unad es una universidad de alta calidad entonces los cursos de la unad son acreditados.
los cursos de la unad son acreditados entonces los estudiantes de la unad son acompañados
por tutores de excelencia. por lo tanto, la unad es una universidad de alta calidad si los
estudiantes de la unad son acompañados por tutores de excelencia.

r∨s
r →q
s→q
q
➢ Ley de inferencia de la expresión: silogismo disyuntivo (SD)
➢ Proposiciones simples:
S: La UNAD es una universidad de Alta Calidad.
r: Los cursos de la UNAD son acreditados.
q: Los estudiantes de la UNAD son acompañados por tutores de excelencia

➢ Lenguaje Natural:
Los cursos de la UNAD son acreditados o La UNAD es una universidad de Alta Calidad. Los
cursos de la UNAD son acreditados entonces Los estudiantes de la UNAD son acompañados
por tutores de excelencia. La UNAD es una universidad de Alta Calidad entonces Los
estudiantes de la UNAD son acompañados por tutores de excelencia. Por lo tanto, Los
estudiantes de la UNAD son acompañados por tutores de excelencia.

¬s→t
¬s
t
➢ Ley de inferencia de la expresión: Modus Ponendo Ponens (MPP)
➢ Proposiciones simples:
S: La UNAD es una universidad de Alta Calidad.
t: Los cursos de la UNAD son acreditados.
➢ Lenguaje Natural:
La UNAD no es una universidad de Alta Calidad entonces Los cursos de la UNAD son
acreditados. La UNAD no es una universidad de Alta Calidad. Por lo tanto, Los cursos de la
UNAD son acreditados.

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

B. La selección Colombia clasificará a la copa Mundial de Futbol de la FIFA Catar 2022 o
Colombia quedará eliminado de Catar 2022. La selección Colombia no clasificará a la copa
Mundial de Futbol de la FIFA Catar 2022.
a. Lenguaje simbólico:
S: La selección Colombia clasificará a la copa Mundial de Futbol de la FIFA Catar 2022
r: Colombia quedará eliminado de Catar 2022
s ∨r
¬s
r
b. Ley de inferencia aplicada: Modus tollendo Ponens (MTP)
c. Conclusión: Colombia quedará eliminado de Catar 2022

Ejercicio 4: Problemas de aplicación

B. Expresión simbólica: [(𝒑 ∨ 𝒒) ∧ (¬𝒒) ∧ (𝒑 → 𝒓) ∧ (𝒒 → 𝒓)] → (𝒑 ∧ 𝒓)
Premisas:
P1: 𝑝 ∨ 𝑞
P2: ¬𝑞
P3:𝑝 → 𝑟
P4: 𝑞 → 𝑟
Conclusión: 𝑝 ∧ 𝑟
➢ Proposiciones simples:
P: La UNAD es una universidad de Alta Calidad.
q: Los cursos de la UNAD son acreditados.
r: Los estudiantes de la UNAD son acompañados por tutores de excelencia
➢ Lenguaje Natural:
La UNAD es una universidad de Alta Calidad o Los cursos de la UNAD son acreditados. Los
cursos de la UNAD no son acreditados. La UNAD es una universidad de Alta Calidad
entonces Los estudiantes de la UNAD son acompañados por tutores de excelencia. Los
cursos de la UNAD son acreditados entonces Los estudiantes de la UNAD son acompañados
por tutores de excelencia. La UNAD es una universidad de Alta Calidad y los estudiantes de
la UNAD son acompañados por tutores de excelencia.
➢ Tabla de verdad manual
p q r ¬𝑞 𝒑→𝒓 𝒒→𝒓 𝒑∨𝒒 𝒑∧𝒓 (𝒑 ∨ 𝒒)∧(¬𝒒) (𝒑 ∨ 𝒒) ∧ (¬𝒒) ∧ (𝒑 → 𝒓) [(𝒑 ∨ 𝒒) ∧ (¬𝒒) ∧ (𝒑 → [(𝒑 ∨ 𝒒) ∧ (¬𝒒) ∧ (𝒑 → 𝒓) ∧
𝒓) ∧ (𝒒 → 𝒓)] (𝒒 → 𝒓)] → (𝒑 ∧ 𝒓)

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

➢ Tabla de verdad Simulador UNAD