Introducción a la Licenciatura en Pedagogía Infantil

Profesor tutor: Juan Carlos Guerrero

PENSAMIENTO LOGICO Y MATEMATICO

Ejercicio 3: Problemas de aplicación
Nombre: Sandra Milena Delgado López
Código del estudiante: 63548952
Número de grupo: 200611_178

Bucaramanga/06/2019
Ejercicio 3: Problemas de aplicación

Descripción del ejercicio:

A continuación, encontrará proposiciones compuestas en lenguaje simbólico (argumento) para el desarrollo del ejercicio 3:

d) Expresión simbólica: [(¬𝑝 → ¬𝑟) ∧ (𝑠 → ¬𝑞) ∧ (𝑠 ∧ 𝑟)] → ¬𝑞

Premisas:
P1: (¬𝑝 → ¬𝑟)
P2: (𝑠 → ¬𝑞)
P3: (𝑠 ∧ 𝑟)
Conclusión ¬𝑞

A partir de la proposición compuesta en lenguaje simbólico que haya seleccionado deberá:

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

p: Thomas es estudiante de la universidad

q: Thomas no resuelve los ejercicios planteados
r: Thomas resuelve los ejercicios planteados
s: Thomas pierde la beca universitaria
 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las proposiciones simples
deben ser de autoría de cada estudiante.

Thomas es estudiante universitario entonces si Thomas no resuelve los ejercicios planteados y Thomas
resuelve los ejercicios planteados entonces Thomas no pierde la beca universitaria.

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje simbólico (El estudiante
encontrará la Guía para el uso de recursos educativos Simulador Lógica UNAD, en el Entorno de Aprendizaje
Práctico, así como el link de acceso al recurso)
  Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel o foto del desarrollo ma

p q r s ¬p ¬r (¬p ¬r) (s ¬q) (s˄r) [(¬𝑝 → ¬𝑟) ∧ (𝑠 → [(¬𝑝 → ¬𝑟) ∧ (𝑠 → ¬𝑞) ∧ [(¬𝑝 → ¬𝑟) ∧ (𝑠
¬𝑞) (𝑠 ∧ 𝑟) → ¬𝑞) ∧ (𝑠 ∧ 𝑟)]
→ ¬𝑞
V V V V F F F V V V V V
V V V F F F F V F F V V
V V F V F V V F F F V V
V V F F F V V V F F V V
V F V V V F F V F F V V
V F V F V f F V F V V V
V F F V V V F V F V V V
V F F F v V F F F V V V
F V V V F F V F F V V V
F V V F F F V F F V V V
F V F V F V V V F V V V
F V F F F V V V F F V V
F F V V V F F V F V V V
F F V F V F F V F F V V
F F F V V V F V F V V V
F f f f v v f v F f v v

TAUTOLOGIA
  Demostración de la validez del argumento mediante las leyes de la inferencia lógica

Premisas:
P1: (¬𝑝 → ¬𝑟)
P2: (𝑠 → ¬𝑞)
P3: (𝑠 ∧ 𝑟)
Conclusión ¬𝑞
P4: p aplicando simplificacion en la P3
P5: q aplicando modus PP en la P2
P6: ¬q aplicando modus TT en P1 Y P 2
Conclusión ¬𝑞