PENSAMIENTO LOGICO MATEMATICO

Autor:

Tutor:

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA ECBTI

INGENIERIA ELECTRONICA
CALI - VALLE
Ejercicio 1: Proposiciones y tablas de verdad

Descripción del ejercicio

A continuación, encontrará las proposiciones simples para el desarrollo del ejercicio 1:

B.
p: Diego es deportista de alto rendimiento
q: Diego debe entrenar todos los días
r: Diego llena una vez por semana su tabla de rendimiento físico
(𝑝 → 𝑞) ∨ (~𝑟)

 Escriba la proposición compuesta propuesta en lenguaje natural.

Si Diego es un deportista de alto rendimiento entonces entrena todos los días o no llena
una vez por semana su tabla de rendimiento físico

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico y determinar
si el resultado es una tautología, contingencia o contradicción.

(𝑝 → 𝑞) ∨ (~𝑟)
𝑝 𝑞 𝑟 ~𝑟 𝑝→𝑞

V V V F V V
V V F V V V
V F V F F F
V F F V F V
F V V F V V
F V F V V V
F F V F V V
F F F V V V
Debido a que el resultado presenta valores verdaderos y uno falso es una contingencia

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

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

A continuación, encuentra el lenguaje simbólico de expresiones que

representan algunas leyes de inferencia.

B) Expresión simbólica

r→s pVq p
s→t ¬p q
_______ ______ ______
r→t q p∧q

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

 r→s p ˅q p
s→t ¬p q
______ _______ _____
r→t q p∧q

A. Silogismo hipotético B. Modus Tollendo C. Adjunción

Ponens

 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: La UNAD es una universidad flexible en sus horarios

s: Camilo cursa su carrera en la UNAD
t: Camilo se graduará como ingeniero Electrónico

p: Las matemáticas son importantes en la ingeniería

q: Se debe practicar mucho para aprender matemáticas.

 Construir el lenguaje natural de cada ley de Inferencia expresada

en lenguaje simbólico

A. Si la UNAD es una universidad flexible en sus horarios entonces Camilo cursa su

carrera en la UNAD. Si Camilo cursa su carrera en la UNAD entonces Camilo se
graduará como ingeniero Electrónico. La UNAD es una universidad flexible en sus
horarios por lo tanto Camilo se graduará como ingeniero Electrónico

B. Las matemáticas son importantes en la ingeniería o se debe practicar mucho para

aprenderlas. Las matemáticas no son importantes en la ingeniería entonces se debe
practicar mucho para aprender matemáticas.

C. Las matemáticas son importantes en la ingeniería. Se debe practicar mucho para

aprenderlas. Por lo tanto las matemáticas son importantes en la ingeniería o se debe
practicar mucho para aprenderlas.

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

A continuación, encontrará los argumentos para el desarrollo del
ejercicio 3:
Si como saludable entonces disminuyo el riesgo de padecer enfermedades cardiovasculares. Si
disminuyo el riesgo de padecer enfermedades cardiovasculares entonces tendré una larga vida.

 Identificar la conclusión del argumento.

Tendré una larga vida

 Nombrar la ley de inferencia que se aplica para probar el argumento.

Modus Ponens

 Definir la expresión del argumento en lenguaje simbólico o formal.

p : Como saludable
q : Disminuyo el riesgo de padecer enfermedades cardiovasculares
r : Tendré una larga vida

p→q
q
_______
r

Ejercicio 4: Problemas de aplicación

A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un
argumento

B) Expresión simbólica: [(𝑝→𝑞) ∧ (𝑝 ∨ 𝑟) ∧ (¬ r ∧ ¬𝑞)]→𝑞

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

 Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción
basada en un contexto, el que se solicita es un contexto

p: Juan estudia Física en la UNAD

q: Juan aprobó el 80% de los créditos totales
r: Juan está realizando su tesis

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

 Si Juan estudia Física en la UNAD entonces juan aprobó el 80% de los créditos totales. Y
Juan estudia Física en la UNAD o Juan está realizando su tesis. Y Juan no está realizando
su tesis y no aprobó el 80% de los créditos totales, por lo tanto, Juan aprobó el 80% de los
créditos totales

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel
o foto del desarrollo manual).

[(𝑝→𝑞) ∧ [(𝑝→𝑞) ∧
𝑝 𝑝 ~𝑟 (𝑝→𝑞) ∧ (𝑝 ∨ 𝑟) (𝑝 ∨ 𝑟)
𝑝 𝑞 𝑟 ~𝑟 ~q → ∨ ∧ (𝑝 ∨ ∧ (¬ r ∧ (¬ r ∧
𝑞 𝑟 ~𝑞 𝑟) ∧ ¬𝑞)] ¬𝑞)]→𝑞

V V V F F V V F V F V
V V F V F V V F V F V
V F V F V F V F F F V
V F F V V F V V F F V
F V V F F V V F V F V
F V F V F V F F F F V
F F V F V V V F V F V
F F F V V V F V F F 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

Leyes de Inferencia:

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

P4: ¬𝑞 Simplificación P3
P5: ¬p Modus Tollendo Tollens entre P1 y P4
P6: p Doble negación P5
P7: q Modus Ponendo Ponens entre P1 y P6