Tarea 1 (Métodos para probar la validez de argumentos)

Ejercicio 1: Proposiciones y tablas de verdad

p: Rafael Pombo es un escritor colombiano

q: Gabriel García Márquez escribió Mirringa Mirronga como Simón
el bobito
r: Rafael Pombo nació en Bogotá en el año 1833
Rafael Pombo es un escritor Colombiano o Gabriel García escribió Mirringa Mirronga
como Simón el bobito, si solo si Rafael Pombo nació en Bogotá en el año 1833 y Rafael
Pombo nació en Bogotá en el año 1833.

‫ ܙܞܘ‬՞ ‫ܚ ࢮ ܚ‬
p q r pvq ’ ˜ “ ՞ ” ’ ˜“ ՞ ” ࢮ”
V V V V V V
V V F V F F
V F V V V V
V F F V F F
F V V V V V
F V F V F F
F F V F F F
F F F F V F

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

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

Simplificación (S):
rᴧs
∴s
Proposiciones simples:
r: Juega fútbol
s: Gana mucho dinero
Lenguaje natural:
Juega fútbol y gana mucho dinero, por lo tanto, gana mucho dinero

Silogismo hipotético (SH):

p →q
q→r
∴ p→r
Proposiciones simples:
p: Andrés hace ejercicio
q: Tiene mucha resistencia física
r: mantiene en forma
Lenguaje natural:
Si Andrés hace ejercicio entonces tiene mucha resistencia física, si tiene resistencia física
entonces mantiene en forma, por lo tanto, Andrés hace ejercicio entonces mantiene en
forma.
Modus Tollendo Tollens (TT):
p →q
¬q
∴¬ p
Proposiciones simples:
p: Milena trabaja muy bien
q: Tiene derecho un buen sueldo
Lenguaje natural:
Si Milena trabaja muy bien entonces tiene derecho a un buen sueldo. No tiene derecho a un
buen sueldo, por lo tanto, no trabaja bien.

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

Si Rafael va al gimnasio entonces Rafael tiene un cuerpo tonificado.
Rafael va al gimnasio.
A partir del argumento que haya seleccionado deberá dar respuesta a
los siguientes ítems:
 Identificar la conclusión del argumento.
 Nombrar la ley de inferencia que se aplica para probar el argumento.
 Definir la expresión del argumento en lenguaje simbólico o formal.

a. Conclusión: Tiene un cuerpo tonificado

b. Ley de inferencia aplicada: Modus Ponendo Ponens (PP)
c. Lenguaje simbólico:
p →q
p
________
∴q
Ejercicio 4: Problemas de aplicación
Expresión simbólica: [(p→ q) ∧ (p ∨ r) ∧ (¬ r ∧ ¬q)] → q
P1: p → q
P2: p ∨ r
P3: ¬ r ∧ ¬q
Conclusión: q

Proposiciones simples:
p: Milena estudia licenciatura en matemática en la UNAD
q: Milena dejó de asistir al curso de cálculo integral
r: Milena está matriculada en el periodo 20-2
[(p→ q) ∧ (p ∨ r) ∧ (¬ r ∧ ¬q)] → q
Lenguaje Natural:
Si Milena estudia licenciatura en matemáticas en la UNAD entonces Milena dejó de asistir
al curso de cálculo integral. Milena estudia licenciatura en matemática en la UNAD o
Milena está matriculada en el periodo 20-2. Milena no está matriculada en el periodo 20-2 y
no dejó de asistir al curso de cálculo integral. Por lo tanto, Milena dejó de asistir al curso de
cálculo integral
Tabla de verdad:
 ‫ ܘ‬՜ ‫ ࢮ ܙ‬ሺ‫ܚܞܘ‬ሻࢮ ሺ൓ ‫ ࢮܚ‬൓ ‫ ܙ‬ሻ ՜ ‫ܙ‬
p q r ൓“ ൓” ሺ’ ՜ “ ሻ ᴧ ሺ’ ˜ “ ሻ ᴧ ൓”᣿൓“ ‫ ܘ‬՜ ‫ ࢮ ܙ‬ሺ‫ܚܞܘ‬ሻࢮ ሺ൓‫ ࢮܚ‬൓‫ ܙ‬ሻ ՜ ‫ܙ‬
V V V F F V V V F F V
V V F F V V V V F F V
V F V V F F F V F F V
V F F V V F F V F V V
F V V F F V V V F F V
F V F F V V V V F F V
F F V V F V F F F F V
F F F V V V F F F V V

Tautología