UNIDAD 1 – TAREA 1

PENSAMIENTO LOGICO Y MATEMATICO

HENRY STEVEN CARDONA CORRALES

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

FACULTAD DE CIENSIAS DE LA SALUD

RADIOLOGIA E IMÁGENES DIAGNOSTICAS

IBAGUE, TOLIMA
COLOMBIA
24 de septiembre de 2022
 Ejercicio 1: Proposiciones y tablas de verdad
B. Proposiciones simples
p: El Modelo Pedagógico Unadista está apoyado en el E-learning
q: El MPU tiene accionar de aprendizaje autónomo
r: El MPU tiene accionar de aprendizaje significativo
s: El PMU tiene accionar de aprendizaje colaborativo
(r ∧ q) ∨(r∧ s)→p

Lenguaje Natural
El MPU tiene accionar de aprendizaje significado
y el MPU tiene accionar de aprendizaje autónomo
o el MPU tiene accionar de aprendizaje significativo
y el MPU tiene accionar de aprendizaje colaborativo
entonces el modelo pedagógico Unadista está apoyando en E-learning.

Tabla De Verdad Manual

 Tabla De Verdad En Simulador

La tabla nos dio un resultado de contingencia

Link del video explicativo, subido a YouTube

https://youtu.be/cH3_nmVhK1Q
EJERCICIO 2: IDENTIFICACIÓN DE LAS REGLAS DE LA
INFERENCIA LOGICA
B. Expresión simbólica

Ley de inferencia que representa cada expresión simbólica.

Modus Tollendo Ponens (TP)
Silogismo Hipotètico (SH)
Adjuncion (A)

Definir las proposiciones simples

Modus Tollendo Ponens (TP)

r ∨ s He estudiado medicina y biología

┐r No he estudiado biología
s Por tanto, he estudiado medicina

Silogismo Hipotètico (SH)

p→q Si no me despierto, entonces no voy a ir a estudiar

q→r Si no voy a estudiar, entonces yo no me voy a graduar

p→r Por lo tanto, si no me despierto, entonces no me voy a graduar

Adjuncion (A)
r Juan estudia enfermería
s Pedro estudia ingeniería civil
r∧ s Juan estudia enfermería y Pedro estudia ingeniería civil
 Construir El Lenguaje Natural De Cada Ley De Inferencia Expresada En
Lenguaje Simbólico.

Modus Tollendo Ponens (TP)

r ∨ s He estudiado medicina y biología

┐r No he estudiado biología
s Por tanto, he estudiado medicina
He estudiado medicina y biología y no he estudiado biología, y por tanto he estudiado
medicina

Silogismo Hipotètico (SH)

p→q Si no me despierto, entonces no voy a ir a estudiar

q→r Si no voy a estudiar, entonces yo no me voy a graduar

p→r Por lo tanto, si no me despierto, entonces no me voy a graduar

Si no me despierto, entonces no voy a ir a estudiar y Si no voy a estudiar, entonces yo no

me voy a graduar, entonces Por lo tanto, si no me despierto, entonces no me voy a graduar

Adjuncion (A)
r Juan estudia enfermería
s Pedro estudia ingeniería civil
r∧ s Juan estudia enfermería y Pedro estudia ingeniería civil
Juan estudia enfermería, Pedro estudia ingeniería civil y Juan estudia enfermería, Pedro
estudia ingeniería civil.
 Ejercicio 3: Aplicación De Las Reglas De La Inferencia Lógica

B. Si Colombia Tiene La Bebida Oficial Del Encuentro, Entonces, El Café Es

Reconocido Por Su Calidez. Colombia Tiene La Bebida Oficial Del Encuentro

a. Lenguaje simbólico

p→q si Colombia tiene la bebida oficial del encuentro

q→r El café es reconocido por su calidez
p→q Colombia tiene la bebida oficial del encuentro

B. Ley de inferencia aplicada:

Silogismo Hipotètico (SH)

c. Conclusión:

Colombia tiene la bebida oficial del encuentro

Ejercicio 4: Problemas de aplicación

B. Expresión simbólica: {(𝑟⟶𝑠) ∧𝑟)}⟶(𝑠∨𝑡)

Premisas:
P1: (𝑟⟶𝑠)
P2: 𝑟
Conclusión: (𝑠∨𝑡)

Definir las proposiciones simples

r: Diego estudia biología

s: Ve la materia de biología molecular
t: Participa de los encuentros de bioquímica
Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje
natural.
r: Diego estudia biología
s: Ve la materia de biología molecular
t: Participa de los encuentros de bioquímica

Lenguaje natural
Diego estudia biología y ve la materia de biología molecular. Y Diego estudia biología
entonces ve la materia de biología molecular o participa de los encuentros de bioquímica.

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

{(𝑟⟶𝑠) ∧𝑟)}⟶(𝑠∨𝑡)

Corresponde a una TAUTOLOGÍA.

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.
B. Expresión simbólica: {(𝑟⟶𝑠) ∧𝑟)}⟶(𝑠∨𝑡)

Premisas:
P1: (𝑟⟶𝑠)
P2: 𝑟
Conclusión: (𝑠∨𝑡)

P2: (∧r) Las premisas P3 se obtienen por

simplificación.
P3: r

P1: (r ⟶ s) Se obtiene conclusión por ley de inferencia

Modus Ponendo Ponens ( PP)
P3: r
q