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

Descripción del ejercicio:

A continuación, encuentra el lenguaje simbólico de expresiones que representan algunas leyes de
inferencia.

A partir del argumento en lenguaje simbólico deberá dar respuesta a los siguientes ítems:
a)

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

SILOGISMO HIPOTETICO (SH)

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

r: Carlos es buen estudiante

s: Carlos será un buen profesional
t: Carlos tendrá un buen empleo

 Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje simbólico.

Si Carlos no va a ser un buen profesional, entonces Carlos es un buen estudiante. Si Carlos es
buen estudiante entonces Carlos tendrá un buen empleo. Por lo tanto, si Carlos No es un buen
profesional, entonces Carlos tendrá un buen empleo.
b)

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

LEY DE ADJUNCION (LA)
 Definir las proposiciones simples
p: Laura es estudiante de Ingeniería
q: Laura trabaja en una oficina

 Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje simbólico.

Laura es estudiante de Ingeniería. Laura NO trabaja en una oficina. Por lo tanto, Laura es
estudiante de Ingeniería Y no trabaja en una oficina.

c)

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

LEY MODUS TOLLENDO PONENS (MTP)

 Definir las proposiciones simples

r: Carlos es buen estudiante

s: Carlos será un buen profesional
t: Carlos tendrá un buen empleo

 Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje simbólico

Carlos es buen estudiante O Carlos NO será un buen profesional. Carlos será un buen
profesional. Por lo tanto, Carlos es un buen estudiante.
Ejercicio 3: Aplicación de las reglas de la inferencia lógica

a. Lenguaje simbólico:
p: en el almuerzo de hoy comeré mojarra frita con arroz de coco
q: comeré un mote de ñame con suero

p⋁q
∼q
¿¿
P
b. Ley de inferencia aplicada:
SILOGISMO DISYUNTIVO (SD)

c. Conclusión:
“en el almuerzo de hoy comeré mojarra frita con arroz de coco”
Ejercicio 4: Problemas de aplicación
Descripción del ejercicio:
A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un
argumento para el desarrollo del ejercicio 4:

 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.
Proposiciones simples:
p: Luis estudia muy duro
q: Luis controla su tiempo
r: Luis rinde poco en el estudio

 Lenguaje Natural:
Si Luis estudia muy duro entonces Luis no controla su tiempo. Luis controla su tiempo o Luis
no rinde poco en el estudio. Luis rinde poco en el estudio. Por lo tanto, Luis no estudia muy
duro.
TABLA DE VERDAD MANUAL

p q r -p -q -r p->-q qV-r
V V V F F F F V F F V
V V F F F V F V F F V
V F V F V F V F F F V
V F F F V V V V V F V
F V V V F F V V V V V
F V F V F V V V V F V
F F V V V F V F F F V
F F F V V V V V V F V

Es una tautología porque todos los valores finales son verdaderos

Tabla del simulador de la UNAD

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

P1: 𝑝 →¬𝑞
P2: 𝑞 ∨ ¬𝑟

P3: r

𝑞 ∨ ¬𝑟
𝑟
_______
𝑞
P4: ………… Modus Tollendo Ponens entre P2 y P3

𝑝 →¬ 𝑞
𝑞
____________

¬p
P5: ……… Modus Tollendo Tollens entre P1 y P4