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.

E. Expresión simbólica
¬s p → ¬q ¬s → ¬r
t q ¬s
¬ s ∧t ¬p ¬r

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.

ADJUNCIÓN

MODUS TOLLENTO TOLLENS (MTT)

MODUS PONENDO PONENS (MPP)

⮚ 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),

Expresión simbólica 1:

 s: Diana lee la bibliografía para desarrollar los ejercicios.

 T: Diana realiza los ejercicios con éxito.
Expresión simbólica 2:

 P: Diana solo realiza el ejercicio #2 de la tarea 1 de pensamiento lógico

 q: Diana aprueba la tarea

Expresión simbólica 3:

 s: Diana no aprueba la tarea 1 de pensamiento lógico

 r: Diana no aprueba la materia de pensamiento lógico

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

Expresión simbólica 1:

 s: Diana lee la bibliografía para desarrollar los ejercicios.

T: Diana realiza los ejercicios con éxito

Diana no lee la bibliografía para desarrollar los ejercicios y Diana realiza los ejercicios con éxito.

¬s
t
¬s∧t

Expresión simbólica 2:

 P: Diana solo realiza el ejercicio #2 de la tarea 1 de pensamiento lógico

 q: Diana aprueba la tarea

Si Diana realiza solo el ejercicio #2 de la tarea 1 de pensamiento lógico, entonces Diana no

aprueba la tarea,

p → ¬q
q
¬p

Expresión simbólica 3:

 s: Diana no aprueba la tarea 1 de pensamiento lógico

 r: Diana no aprueba la materia de pensamiento lógico
 Si Diana no aprueba la tarea 1 de pensamiento lógico, entonces Diana no aprueba la materia
de pensamiento lógico.

¬s → ¬r
¬s
¬r

Si Diana no aprueba la tarea 1 de pensamiento lógico, entonces Diana no aprueba la materia de

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

3: p q
E. Pitágoras es un matemático griego, entonces, Pitágoras es el fundador

de la Escuela pitagórica. Pitágoras es un matemático griego.

p

a. Lenguaje simbólico:
P q
p
∴q

b. Ley de inferencia aplicada: Modus Ponendo Ponens (MPP)

c. Conclusión: Pitágoras es el fundador de la escuela pitagórica.

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:

E. Expresión simbólica: [(∼𝑝∧∼𝑟)∧(∼𝑝→𝑞)∧(𝑞→∼𝑟)]→(𝑞∧∼𝑟)

Premisas:
P1: (∼𝑝∧∼𝑟)
P2: (∼𝑝→𝑞)
P3:(𝑞→∼𝑟)

Conclusión:(𝑞∧∼𝑟)

A partir de la expresión simbólica seleccionada, el estudiante deberá:

⮚ Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje

natural.

P1=Diana realiza todos los ejercicios de la tarea 1 unidad 1

P2=Diana obtiene 100 puntos
P3=Diana aprueba el curso de pensamiento lógico.

⮚ Generar una tabla de verdad manualmente a partir del lenguaje simbólico

(En Word, Excel o foto del desarrollo manual).
Expresion simbolica

[(∼𝑝∧∼𝑟)∧(∼𝑝→𝑞)∧(𝑞→∼𝑟)]→(𝑞∧∼𝑟)

p q r ∼𝑝 ∼ (∼𝑝∧∼𝑟) (∼𝑝→𝑞) (𝑞→∼𝑟) (𝑞∧∼𝑟) (∼𝑝∧∼𝑟)∧(∼𝑝→𝑞) (∼𝑝→𝑞)∧(𝑞→∼𝑟) [(∼𝑝∧∼𝑟)∧(∼𝑝→𝑞)∧(𝑞→∼𝑟)] [(∼𝑝∧∼𝑟)∧(∼𝑝→𝑞)∧(𝑞→∼𝑟)]→(𝑞∧∼𝑟)

𝑟

V V V F F F F F F F F F V
V V F F V F F V V F F F F
V F V F F F V V F F V F F
V F F F V F V V F F V F F
F V V V F F V F F F F F V
F V F V V V V V V V V V V
F F V V F F V V F F V F F
F F F V V V V V F V V V V

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

⮚ Demostración de la validez del argumento mediante las leyes de la

inferencia lógica

Este argumento corresponde a una contingencia.