Documentos de Académico
Documentos de Profesional
Documentos de Cultura
UNAD
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Actividad Final
Alumno
Clemente José Garizabalo Villalobos C.C 72218207.
Tutor
Hilde Moscote
Objetivo General:
-Con esta actividad se busca utilizar los conceptos de la teoría de conjuntos, de la lógica
proposicional y de la
-Inferencia lógica para plantear proceso operativo en la resolución de situaciones problémicas del
Objetivos Específicos:
un contexto del
lógica matemática.
3
Introducción
En este trabajo aplicaremos los conceptos vistos a lo largo del periodo académico para la
falsedad de problemas o situaciones que se presentan en la vida real con argumentos válidos
Ejercicio 3 – anexo 1
En una encuesta a 200 estudiantes Unadistas 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
Solución:
Cada sección le asignamos una letra y procedemos a hacer la representación del ejercicio.
L = Lógica.
I = Ingles.
A= Algebra.
𝑥 + 𝑏 = 20
𝑟 + 𝑐 = 120
𝑥 + 𝑎 = 13
𝒃 = 𝟏𝟓
5
𝑥 = 20 − 15
𝒙 = 𝟓 Tenemos el valor de (x).
--Ahora reemplazamos en valor de (x) en:
𝑥 + 𝑎 = 13
5 + 𝑎 = 13
𝑎 = 13 − 5
𝒂 = 𝟖 Tenemos el valor de (a)
--Remplazamos el valor de (a), (x) y (b) en:
𝐿 =𝑥+𝑎 +𝑟+𝑏
68 = 5 + 8 + 𝑟 + 15
𝒓 = 𝟒𝟎
--Deducimos (c) remplazando.
𝑐 = 120 − 𝑟
𝑐 = 120 − 40
𝒄 = 𝟖𝟎
--Hallamos el valor de (y)
𝐼 =𝑦+𝑎+𝑟+𝑐
138 = 𝑦 + 8 + 40 + 80
𝑦 = 138 − 128
𝒚 = 𝟏𝟎
Hallamos ahora (z)
𝐴=𝑧+𝑏+𝑟+𝑐
160 = 𝑧 + 15 + 40 + 80
𝒛 = 𝟐𝟓
Los que no tomaron los curso ni de Lógica, ni de Algebra, ni de Ingles.
𝑼= 𝒙+𝒂+𝒓+𝒃+𝒚+𝒄+𝒛+𝑵
6
𝟐𝟎𝟎 = 𝟓 + 𝟖 + 𝟒𝟎 + 𝟏𝟓 + 𝟏𝟎 + 𝟖𝟎 + 𝟐𝟓 + 𝑵
𝑵 = 𝟏𝟕
Ejercicio 8 – anexo 2
Un número es divisible por 2 si la última cifra de dicho número es múltiplo de 2. Un número
es divisible por 3 si la suma de las cifras de dicho número es múltiplo de 3. Pero dicho número no
es divisible por 2 o no lo es por 3. Por tanto, la suma de las cifras de un número no es un múltiplo
Premisas
P = Un número es divisible por 2.
Q = si la última cifra de dicho número es múltiplo de 2.
R = Un número es divisible por 3.
S = si la suma de las cifras de dicho número es múltiplo de 3.
Representación simbólica
7
Es contingencia.
8
Ejercicio 13 – anexo 3
Si el Rector no pudo dar el discurso o los diplomas no llegasen a tiempo, entonces la fiesta de
graduación tendría que cancelarse y los estudiantes se enojarían. Si la fiesta se cancelara, habría que
devolver el dinero. No se devolvió el dinero. Por lo tanto, el Rector pudo dar el discurso.
Representación simbólica
((P v Q) → (R ʌ S) ʌ (R → T) ʌ -T) → -P
Es tautología
9
Demostración:
((P v Q) → (R ʌ S) ʌ (R → T) ʌ -T) → -P
Demostrar: - P
Premisas:
1. (P v Q) → (R ʌ S)
2. R→T
3. –T
4. -R MTT 2
5. –R v –S ADICION 4
6. –(R ʌ S) MORGAN 5
7. –(P v Q) MTT 1.6
8. –P ʌ - Q MORGAN 7
9. –P SIMPLIFICACION 8
Ejercicio 17 - anexo 4
Todos los grandes científicos son graduados universitarios. Algunos grandes atletas son
graduados universitarios. Por lo tanto, algunos grandes atletas son grandes científicos.
P = Científicos.
M = Universitarios.
S = Atletas.
10
PAM → P Ṁ = 0
SIM → SM ≠ 0
SIP → SP ≠ 0
Es Valida
Ejercicio 23 – anexo 5
Juan ha prometido a su novia, que no va a beber alcohol, para no meterse en líos. Sus amigos
le dicen que beba, para no aburrirse, insistiendo en que se lo monta muy bien, cuando bebe. ¿Qué
tipo de falacia están usando los amigos de Juan, para convencerle de que beba?
Falacia en argumentación
Conclusión
Aplicando las leyes de lógica, pudimos resolver los ejercicios propuestos llegando a su
demostración por los métodos conocidos afianzando los conocimientos adquiridos a lo largo del
herramientas como el simulador para representar las tablas de la verdad (Simulador TRUE).
12
Bibliografía
Robador T. (2012), Lógica - Inferencia lógica, MathLogic - La belleza del Álgebra, Santa Cruz -
Bolivia: https://www.youtube.com/watch?v=OuHYh1Xw5no&t=684s.