1

Tarea 1 – Métodos para probar la validez de argumentos

Alex Márquez Rodríguez

Código: 200611A_1143
No. De grupo: 200611_5

Nombre tutor:
Dra. Betsy Rodríguez

Universidad Nacional Abierta y a Distancia – UNAD

Escuela de Ciencias Jurídicas y Políticas ECJP
Programa de Ciencia Política
Pensamiento Lógico y Matemático
Barranquilla
Julio de 2022
 2

Ejercicio 1: proposiciones y tablas de verdad

Ejercicio B.
p: Colombia es un país de la Unión Europea.
q: Colombia es un país de habla hispana.
[(¬p →q) ∧¬p] →q
 Escribir la proposición compuesta propuesta en un lenguaje natural.
Colombia no es un país de la Unión europea, entonces Colombia es un país de
habla hispana y no es un país de la Unión Europea. Por lo tanto, Colombia es un
país de habla hispana.

 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.

2ᶯ=2²=4
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

Resultado del argumento: tautología.

 Generar la tabla de verdad a través del simulador Lógica UNAD.

 3

 Enlace del vídeo

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

Ejercicio B.
Expresión simbólica
s→r
r→p
s→p
 Ley de inferencia lógica: silogismo hipotético

 Definir las proposiciones simples

s: Juan estudió para el test final de inglés A1.
r: Juan aprobó el examen.
p: Juan avanza a nivel A2.
 Lenguaje natural
Si Juan estudió para el test final de inglés A1, entonces Juan aprobó el examen. Si Juan
aprobó el examen, entonces Juan avanza a nivel A2. Por lo tanto, si Juan estudió para el
test final de inglés A1, entonces avanza a nivel A2.

Expresión simbólica
r˅s
r→q
s→q
q
 Ley de inferencia lógica: simplificación disyuntiva

 Definir las proposiciones simples

r: Juan estudió para el test final de inglés A1.
s: Juan estudió para el test final de matemática 1.
q: Juan aprobó.
 4

 Lenguaje natural
Juan estudio para el test final de inglés A1 o estudio para el test final de matemática 1. Si
Juan estudió para el test final de inglés A1, entonces Juan aprobó el examen. Si Juan
estudió para el test final de matemáticas 1, entonces Juan aprobó el examen. Por lo tanto,
Juan aprobó el examen.

Expresión simbólica
¬s→t
¬s
t
 Ley de inferencia lógica: Modus Ponendo Ponens (MP)

 Definir las proposiciones simples

s: Juan no estudió para el test de inglés A1.
t: Juan reprobó el examen.

 Lenguaje natural
Si Juan no estudió para el test de inglés A1, entonces Juan reprobó el examen. Juan no
estudió para el test de inglés A1. Por lo tanto, Juan reprobó el examen.

Ejercicio 3: aplicación de las reglas de 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.
Lenguaje simbólico
p˅q
¬p
q
Ley de inferencia lógica aplicada: Modus Tollendo Ponens (MTP) o silogismo
disyuntivo
Conclusión: Por lo tanto, Colombia quedará eliminada.
 5

Ejercicio 4: problemas de aplicación

B. Expresión simbólica