Escuela de Ciencias Básicas, Tecnología e Ingeniería – ECBTI

Pensamiento Lógico Matemático

Elaborado por:
Pablo Andrés Puerta Salazar
Grupo 20611-239

Tutor
Eduardo Benjumea
PLM

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Bogotá, 2019
 DESARROLLO DEL EJERCICIO 3

TEMATICA A DESARROLLAR LETRA “B”

Problemas de aplicación

Expresión simbólica:

b. Expresión simbólica:

[(𝑝∨𝑞) ∧(𝑞⟶∼𝑟) ∧(∼𝑟⟶𝑠) ∧ (∼𝑝) ∧ (𝑠⟶𝑟)]⟶(𝑟)

Premisas:
P1: (𝑝∨𝑞)
P2: (𝑞⟶∼𝑟)
P3: (∼𝑟⟶𝑠)
P4: (∼𝑝)
P5: (𝑠⟶𝑟)
Conclusión: (𝑟)

A partir de la expresión simbólica seleccionada, el estudiante 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: Pablo sale a pasear

q: estudia matemáticas
r: aprueba el curso
s: observa el tutorial
  Remplazar las variables expresadas simbólicamente y llevarlas
al lenguaje natural.

[(𝑝∨𝑞) ∧(𝑞⟶∼𝑟) ∧(∼𝑟⟶𝑠) ∧ (∼𝑝) ∧ (𝑠⟶𝑟)]⟶(𝑟)

p: Pablo estudia matemáticas

q: sale a pasear
r: aprueba el curso
s: realiza lecturas adicionales

∼p: Pablo no estudia matemáticas

∼r: no aprueba el curso

Pablo estudia matemáticas o sale a pasear y al salir a pasear

entonces, no aprueba el curso y al no aprobar el curso entonces realiza
lecturas adicionales sin embargo él no estudia matemáticas y realiza
lecturas adicionales entonces aprueba el curso; entonces él aprueba el
curso.
 Generar una tabla de verdad con el simulador Lógica UNAD a
partir del lenguaje simbólico
  Generar una tabla de verdad manualmente a partir del
lenguaje simbólico (En Word, Excel o foto del desarrollo
manual).

Link para visualizar online : https://unadvirtualedu-

my.sharepoint.com/:x:/g/personal/papuertas_unadvirtual_edu_c
o/Eeptxz4cjkpCnsM73iduNYwBAYiqpL9-
1GcieGVzL_f3EA?e=Yo0XXR
  Demostración de la validez del argumento mediante las leyes
de la inferencia lógica

[(𝑝∨𝑞) ∧(𝑞⟶∼𝑟) ∧(∼𝑟⟶𝑠) ∧ (∼𝑝) ∧ (𝑠⟶𝑟)]⟶(𝑟)

Premisas:
P1: (𝑝∨𝑞)
P2: (𝑞⟶∼𝑟)
P3: (∼𝑟⟶𝑠)
P4: (∼𝑝)
P5: (𝑠⟶𝑟)
Conclusión: (𝑟)
________________________

P6 (q⟶s) SH 2,3
P7 q SD 1,4
P8 (q⟶r) SH 6,5
P9 r MPP 8,7 CONCLUSION

EL RAZONAMIENTO ES VALIDO
CONJUNCION

DISYUNCION

CONDICIONAL