PASO 4 - RESOLUCIÓN DE SITUACIONES PROBLÉMICAS DEL MUNDO REAL

DESDE LA LÓGICA MATEMÁTICA (EXAMEN NACIONAL POR ABP)

JOHANA MERCEDES CHAVES ERASO

CÓDIGO: 00012502796

NO. DE GRUPO: 200611_476

LEONARDO FABIO GARCIA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PENSAMIENTO LOGICO Y MATEMATICO
13- DICIEMBRE- 2017
CEAD PASTO
 Objetivos

Analizar las competencias para determinar la validez de un razonamiento lógico.

Realizar las actividades planteadas identificando nuestras fortalezas o debilidades

y aplicando planes de mejora como también identificar premisas y así proceder a
verificar las mismas a través de una tabla de verdad que valide dichos
razonamientos.

Aplicar los conocimientos adquiridos a través de los pasos que se han venido
desarrollando, resolviendo casos que se presentan en la lógica matemática grupal.
Introducción
En esta actividad se da a conocer la solución de cada uno de los pasos plantados
en la actividad aplicando lo que hemos aprendido en el transcurso del semestre
para obtener un resultado oportuno como también nos facilita para la resolución de
cuestiones que se nos presentan en la vida diaria y que obtengamos un aprendizaje
significativo de calidad fortaleciendo la parte lógica matemática.
Temática 1: problemas de aplicación de la operatividad entre conjuntos.

3. en una encuesta a 200 estudiantes una distas se encontró que 68 habían tomado
cursos de lógica, 138 habían tomado cursos de inglés y 160 cursos de álgebra; 120,
cursos de inglés y de álgebra; 20 cursos de lógica pero no de inglés; 13 cursos de
lógica pero no de álgebra; 15 cursos de lógica y de álgebra pero no de inglés.
¿Cuántos de los entrevistados no tomaron cursos de lógica ni de álgebra ni de
inglés?
Solución:
u= 200 estudiantes
a= cursos de lógica
b=cursos de ingles
c= cursos de algebra
a= 68
b=138
c=160
byc=120
a= 20 pero no de ingles
b=13 pero no de algebra
ayc=15 pero no de ingles
 U= 200

A= 68
53

D= -31

0 15

B=138 120 25 C=160

18

d= 200-(53+18+25+120+15)
d= 200-(231)
d= -31
r/ los entrevistados que no tomaron cursos de lógica ni de álgebra ni de inglés
fueron -31
 Temática 2: uso de las tablas de verdad
6. si el perrito, el gato y el caballo, como mascotas son abandonados, entonces son
acogidos por la protectora. Pero el perrito es abandonado, también el caballo.
Luego, tanto el perrito como el caballo son acogidos por la protectora.

p= perro
q= caballo
r= son abandonados
s= acogidos por la protectora
Proposiciones simples y compuestas encontradas:

Si el perrito, el gato y el caballo, como mascotas son abandonados, entonces son

acogidos por la protectora. {[(p λ q) λr] →s)}

Pero el perrito es abandonado, también el caballo [(p→r) λ (q→r)]

Luego, tanto el perrito como el caballo son acogidos por la protectora. [(p λ q) →s]

. {[(p λ q) λr] →s)} Λ [(p→r) λ (q→r)] → [(p λ q) →s]

p q r s {[(p λ λr) {[(p λ q) λr] (p→r) λ . {[(p λ q) λr] →s)} λ [(p λ → [(p λ {[(p λ q) λr] →s)} λ
q) →s)} (q→r) [(p→r) λ (q→r)] q) q) [(p→r) λ (q→r)] →
[(p λ q) →s]

v v v v v v v v v v v v
v v v f v v f v f f v v
v v f v v f v f f v v v
v v f f v f v f f f v v
v f v v f v v v v v v v
v f v f f v f v f v v v
v f f v f f v f f v v v
v f f f f f v f f v v v
f v v v f f v v v v v v
f v v f f f v v v v v v
f v f v f f v f f v v v
f v f f f f v f f v v v
f f v v f f v v v v v v
f f v f f f v v v v v v
f f f v f f v v v v v v
f f f f f f v v v v v v

Comprobación
 Temática 3: uso de las reglas de inferencia en la demostración de la
validez de un razonamiento lógico

15. “si pago matrícula completa no me quedará dinero. Pero si no pago

matrícula completa no puedo matricularme en todos los cursos. Por otra
parte, no aprenderé programación de computadores a menos que me
compre un computador, lo cual podré hacer sólo si me queda dinero.
Además, si no me matriculo en todas las clases no me compraré un
computador. Como es un hecho que pago matrícula completa o no pago
matrícula completa entonces, con seguridad, no aprenderé programación de
computadores”.

Solución

Proposiciones
p: pago la matrícula completa
q: me queda dinero
r: me matriculo en todo los cursos
s: aprendo programación de computadores
t: me compro un computador

Frases
1) si pago matrícula completa no me quedará dinero
𝑃 → ¬𝑄
2) si no pago matrícula completa no puedo matricularme en todos los cursos
¬𝑃 → ¬𝑅
3) no aprenderé programación de computadores a menos que me compre un
computador, lo cual podré hacer sólo si me queda dinero.
𝑄 → (𝑇 → 𝑆)
4) si no me matriculo en todas las clases no me compraré un computador
¬𝑅 → ¬𝑇
5) como es un hecho que pago matrícula completa o no pago matrícula completa
𝑃 ↮ ¬𝑃
6) no aprenderé programación de computadores
¬𝑆

En orden
1: 𝑃 → ¬𝑄
2: ¬𝑃 → ¬𝑅
3: 𝑄 → (𝑇 → 𝑆)
4: ¬𝑅 → ¬𝑇
5: 𝑃 ↮ ¬𝑃
6: ¬𝑆

{(p→¬d)λ(¬p→¬m)λ[(¬c→a)↔d]λ(¬m→¬a)→[(pv¬p)→¬c]}

truth table
{(p→¬d)λ(¬p→¬m)λ[(¬c→a)↔d]λ(¬m→¬a)→[(pv¬p)→¬
p d m c a
c]}

t t t t t t

t t t t f t

t t t f t t

t t t f f t

t t f t t t

t t f t f t
t t f f t t

t t f f f t

t f t t t t

t f t t f t

t f t f t t

t f t f f t

t f f t t t

t f f t f t

t f f f t t

t f f f f t

f t t t t t

f t t t f t

f t t f t t

f t t f f t

f t f t t t

f t f t f f

f t f f t t

f t f f f t

f f t t t t

f f t t f t

f f t f t t

f f t f f t

f f f t t t

f f f t f t
f f f f t t

f f f f f t
Conclusiones
Con la realización del trabajo se pudo comprender las diferentes temáticas que
comprende la lógica matemática y analizar y percibir los temas planteados basados
en prácticas y el conocimiento de las diferentes herramientas ya que con su
realización adquirimos las sistemáticas que necesitamos en la cotidianidad de
nuestra manera de estudio, tenemos la necesidad de poseer estos conceptos y
aplicarlos con claridad.