Академический Документы
Профессиональный Документы
Культура Документы
Lógica Matemática
GRUPO 90004A_616
BOGOTA
2019
2
Introducción
El siguiente trabajo colaborativo pretendo dar solución a los ejercicios propuestos en la Unidad
1- Conectivos Lógicos y Teoría de Conjuntos del curso de lógica matemática, donde los
estudiantes deben participar activamente para el desarrollo de cada ejercicio seleccionado, esto
con el fin de entender mediante un análisis, compresión e interiorización de las lecturas y videos
recomendados por el tutor.
Objetivos
General
Específicos
o Identificar conceptos básicos
o Resolver los ejercicios de proposiciones del lenguaje natural al lenguaje
simbólico y viceversa.
o Mediante un simulador Truth Table hallar las tablas de verdad
o Solucionar ejercicios de lógica de conjuntos y seleccionar algunos vistos
en actividades anteriores
Ejercicio 1: Proposiciones
[(𝑝 → 𝑞) ∨ ¬𝑟] ↔ (𝑞 ∧ 𝑝)
A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes
ítems:
Escriba la proposición compuesta propuesta en lenguaje natural.
RTA: La UNAD es la primera Mega universidad pública de Colombia Entonces La
UNAD promueve el aprendizaje autónomo, y no es cierto que Los programas de
la UNAD son presenciales si y solo sí la UNAD promueve el aprendizaje autónomo
3
y La UNAD es la primera Mega universidad pública de Colombia.
[(p→q) ∨¬r]↔(q∧p)
[(V→ V) ∨¬F]↔(V∧V)
[V∨V] ↔ V
V↔ V
V
E. Si los cursos en la UNAD se aprueban con 300 puntos, entonces se debe realizar
la participación oportuna y realizar a tiempo las actividades o, Si no se realizan a
tiempo las actividades, entonces no se debe realizar la participación oportuna.
A partir del argumento que haya seleccionado deberá dar respuesta a los
siguientes ítems:
Proposiciones Simples:
p: los cursos en la UNAD se aprueban con 300 puntos
q: se debe realizar la participación oportuna
r: realizar a tiempo las actividades
Lenguaje Simbólico:
𝒑 → (𝒒 ∧ 𝒓) ∨ ~𝒓 → ~𝒒
Tabla de Verdad (Simulador)
4
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.
F F F F V V V V V V
F F V F F F F V V V
F V F F V V V V F F
F V V V F F V V F F
V F F F V V V V V V
V F V F F F F F V V
V V F F V V V V F F
V V V V F F F V F F
E.
Teniendo el diagrama de venn de la letra seleccionada, el estudiante deberá dar
5
respuesta a los siguientes ítems:
Definición de Conjuntos:
A= Jugadores de Halo
B= Jugadores de Batman Arkhem
C= Jugadores de Resident Evil
Operación entre conjuntos (notación):
Bc=(U-B)
Expresión en palabras:
La selección del diagrama de Venn-Euler, Corresponde a los jugadores video juegos que no
juegan Batman Arkhem
Enlace de Video:
https://drive.google.com/file/d/1BG6wj14Ef7eVq3vTrAMYMyaxArPUsg6-/view
E.
Definición de Conjuntos:
U= Jugadores de Video Juegos
6
A= Jugadores de Halo
B= Jugadores de Batman Arkhem
C= Jugadores de Resident Evil
7
Respuesta: 10+9=19
Operaciones de la guía:
(𝐴 ∪ 𝐶) − (A ∩ 𝐵 ∩ 𝐶): Jugadores de Halo y Jugadores de Resident Evil excepto aquellos
juegan los tres video juegos.
𝐵∆𝐶: Jugadores que juegan Batman Arkhem y jugadores que juegan residente evil,
excepto los que juegan los dos videojuegos.
Respuesta: 10+13+9+16= 48
8
(𝐴 ∪ 𝐶) ^c: Jugadores que no juegan Halo y Jugadores que no juegan Resident Evil
Respuesta: 13+5=18
Respuesta: (9+0+16)-(9)=25
9
Conclusión
Con el desarrollo de este trabajo se logra cumplir los objetivos mencionados, dando solución a
la practicar e inicio a la primera etapa del curso, brindando los conocimientos de analizar e
interpretar los siguientes temas a futuro.
Nos contribuye a fortalecer los primeros principios de curso de lógica matemática dando
aportes importantes y mejoras al momento de realizar la entrega sobre cada uno de los
ejercicios, adicional aprendiendo de nuevas herramientas TIC para el uso de facilidad sobre la
verificación de los ejercicios.