LOGICA MATEMATICA

CÓDIGO: 90004

Sustentación Unidad 1 o 2

Presentado a la tutora:
Ingrid Lorena Rodríguez

Entregado por el estudiante:

Norbey Collazos Ramírez

Código: 1077866001

Grupo: 90004_489

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA
noviembre 2018
GARZÓN
 UNIDAD 1
b. En un diplomado de idiomas compuesto por 22 alumnos; 12
estudian mandarín; 11 estudian inglés y 11 portugués, 6 estudian
mandarín e inglés; 7 estudian inglés y portugués; 5 estudian
mandarín y portugués y 2 estudian los tres idiomas.

U= {Estudiantes del diplomado en idiomas}

M = {Estudiantes de mandarín}
I = {Estudiantes de inglés}
P = {Estudiantes de portugués}

¿Cuántos alumnos estudian sólo inglés? 0

¿Cuántos estudian mandarín en inglés, pero no portugués? 6
¿Cuántos estudian mandarín o portugués, pero no inglés? 3
 UNIDAD 2
b. Expresión simbólica: [(𝑝 → 𝑞) ∧ (𝑞 → 𝑟)⋀(¬𝑟)] → (¬𝑝)

Premisas:
P1: 𝑝 → 𝑞
P2: 𝑞 → 𝑟
P3: ¬𝑟

Conclusión: ¬𝒑

 Proposiciones simples
p = Norbey estudia para la evaluación de química
q= Norbey obtiene más de 70 puntos en evaluación de química
r= Norbey aprueba el curso de química

 lenguaje natural
Si Norbey estudia para la evaluación de química entonces obtiene más
de 70 puntos. Si obtiene más de 70 puntos en la evaluación entonces
aprueba el curso de química. No aprobó el curso de química por lo tanto
no estudió para la evaluación

 Tabla generada en el simulador true table

p q r [(p→q)Λ(q→r)Λ(¬r)]→(¬p)

T T T T
T T F T
T F T T
T F F T
F T T T
F T F T
F F T T
F F F T
  Tabla de verdad generada manualmente

p q r ¬p ¬r (p→q) (q→r) (p→q)Λ(q→r) (p→q)Λ(q→r)Λ(¬r) [(p→q)Λ(q→r)Λ(¬r)]→(¬p)

V V V F F V V V F V
V V F F V V F F F V
V F V F F F V F F V
V F F F V F V F F V
F V V V F V V V F V
F V F V V V F F F V
F F V V F F V F F V
F F F V V F V F F V

 Leyes de la inferencia lógica

 Premisas:
 P1: 𝑝 → 𝑞 tomamos las premisas (P2 y P3) y
 P2: 𝑞 → 𝑟 aplicamos la regla (MTT) que dice
que si la premisa cualquiera es la
 P3: ¬𝑟 negación del consecuente de la
condicional resulta la negación del
 P4: ¬𝑞 TT (2), (3) antecedente de la condicional

 P5: ¬𝑝 TT (1), (4) CONCLUSIÓN

tomamos las premisas (P1 y P4) y

aplicamos la regla (MTT) que dice
que si la premisa cualquiera es la
negación del consecuente de la
condicional resulta la negación del
antecedente de la condicional y
con esto llegaríamos a la
conclusión