Академический Документы
Профессиональный Документы
Культура Документы
CÓDIGO: 90004A
Presentado a:
Tutor
Entregado por:
Grupo: 90004A_449
El siguiente trabajo colaborativo pretende dar solución a los ejercicios propuestos en la unidad 1 –
Conectivas lógicos y teoría de conjuntos del curso de lógica matemática, donde todo los estudiantes
deberán participar activa y colaborativamente. De otra parte nos permite aprender sobre el tema
mediante el análisis, la comprensión e interiorización de las lecturas y videos recomendados por
nuestro tutor.
OBJETIVOS
GENERAL
Aprender temas tratados en la unidad 1 Conectivos lógicos y teoría de conjuntos, a través del
desarrollo de algunos ejercicios.
ESPECIFICOS
Identificar conceptos básicos de la unidad.
Resolver ejercicios de proposiciones del lenguaje natura al lenguaje simbólico y viceversa.
Realizar ejercicios para determinar el valor de verdad.
Realización de tablas de verdad y comprobarlas con el simulador Truth Table.
Solucionar ejercicios de lógica de conjuntos.
DESARROLLO DE ACTIVIDADES
Tarea 1: Proposiciones
Escriba la proposición compuesta propuesta en lenguaje natural y determine su
valor de verdad, a partir del valor de verdad de cada proposición simple:
[𝑝 → (𝑞 ∧ 𝑟)] ↔ 𝑝
c. 𝑝: 𝐿𝑎 𝑎𝑐𝑡𝑢𝑎𝑙 𝑐𝑜𝑛𝑠𝑡𝑖𝑡𝑢𝑐𝑖ó𝑛 𝑓𝑢𝑒 𝑙𝑎 𝑒𝑠𝑡𝑎𝑏𝑙𝑒𝑐𝑖𝑑𝑎 𝑑𝑒 1991.
𝑞: 𝐿𝑎 𝑎𝑐𝑡𝑢𝑎𝑙 𝑐𝑜𝑛𝑠𝑡𝑖𝑡𝑢𝑐𝑖ó𝑛 𝑓𝑢𝑒 𝑙𝑎 𝑒𝑠𝑡𝑎𝑏𝑙𝑒𝑐𝑖𝑑𝑎 𝑑𝑒 1886.
𝑟: 𝐶𝑜𝑙𝑜𝑚𝑏𝑖𝑎 𝑒𝑠 𝑢𝑛 𝑒𝑠𝑡𝑎𝑑𝑜 𝑢𝑛𝑖𝑡𝑎𝑟𝑖𝑜 𝑠𝑜𝑐𝑖𝑎𝑙, 𝑑𝑒𝑚𝑜𝑐𝑟á𝑡𝑖𝑐𝑜 𝑑𝑒 𝑑𝑒𝑟𝑒𝑐ℎ𝑜 .
𝑟 → [𝑞 ∨ (𝑟 ∧ 𝑝)]
SOLUCION:
Proposición en lenguaje natural:
Colombia es un estado unitario social democrático de derecho.
Entonces la actual constitución fue la establecida de 1886 o
Colombia es un estado unitario social democrático de derecho y
la actual constitución fue la establecida de 1991
Valor de verdad:
p: V
q: F
r: V
𝑟 → [𝑞 ∨ (𝑟 ∧ 𝑝)]
𝑉 → [𝐹 ∨ (𝑉 ∧ 𝑉 )]
𝑉 → [𝐹 ∨ 𝑉]
𝑉→𝑉
𝑉
Respuesta: El valor de verdad para la proposición 𝑟 → [𝑞 ∨ (𝑟 ∧ 𝑝)] es
verdader
Cada solución de los siguientes enunciados debe contar con las siguientes etapas:
V V F F V F V
V F F V F F V
F V V F V V F
F F V V V V V
V V V V V F V V
V V F V F V V V
V F V F V F V V
V F F F F V V V
F V V F F F F V
F V F F F V V V
F F V F F F F V
F F F F F V V V
Ejemplo:
Representar la siguiente situación en el diagrama de Venn y con las operaciones
entre conjuntos
“Empleados casados con estudios profesionales y originarios de la capital”
𝑃∩𝐶∩𝐷
A partir del ejemplo anterior representar cada una de las siguientes situaciones en
un diagrama de Venn y con las operaciones entre conjuntos, desde la siguiente
situación:
𝑈 = {𝑃𝑟𝑜𝑓𝑒𝑠𝑜𝑟𝑒𝑠 𝑑𝑒 𝑙𝑎 𝑈𝑁𝐴𝐷}
a. Los profesores que dirigen los cursos de Lógica Matemática o Álgebra sin los
profesores que están en Lógica Matemática y Álgebra
𝑈 = {𝑃𝑟𝑜𝑓𝑒𝑠𝑜𝑟𝑒𝑠 𝑑𝑒 𝑙𝑎 𝑈𝑁𝐴𝐷}
(L ∨ V) − 𝐿 ∩ 𝑉
b. Los profesores que no dirigen los curso de Álgebra o Lógica.
c. Los profesores que dirigen los curso de Álgebra, Lógica y Cálculo al tiempo.
∪= {𝑝𝑟𝑜𝑓𝑒𝑠𝑜𝑟𝑒𝑠 𝑑𝑒 𝑙𝑎 𝑢𝑛𝑎𝑑}
𝑐 = {𝑝𝑟𝑜𝑓𝑒𝑠𝑜𝑟𝑒𝑠 𝑑𝑒 𝑐𝑎𝑙𝑐𝑢𝑙𝑜}
𝐿 = {𝑝𝑟𝑜𝑓𝑒𝑠𝑜𝑟𝑒𝑠 𝑑𝑒 𝑙𝑜𝑔𝑖𝑐𝑎 𝑚𝑎𝑡𝑒𝑚𝑎𝑡𝑖𝑐𝑎𝑠}
𝐴 = {𝑝𝑟𝑜𝑓𝑒𝑠𝑜𝑟𝑒𝑠 𝑑𝑒 Álgebra}
𝐿∪𝐴∪𝐶
d. Los profesores que están en los cursos de Lógica y Cálculo, pero que no están
en Álgebra.
(Solo selecciona uno de los 5 casos e informa en el foro cual escogió, para que no
sea escogido por otro integrante)
SOLUCION
𝑈 = {𝑈𝑠𝑢𝑎𝑟𝑖𝑜𝑠 𝑒𝑛𝑐𝑢𝑒𝑠𝑡𝑎𝑑𝑜𝑠}
𝐶 = {𝐶𝑎𝑟𝑡𝑎𝑔𝑒𝑛𝑎}
𝑆 = {𝑆𝑎𝑛𝑡𝑎 𝑀𝑎𝑟𝑡𝑎}
𝐵 = {𝐵𝑎𝑟𝑟𝑎𝑛𝑞𝑢𝑖𝑙𝑙𝑎}
270 = 125 + 45 + 𝑿 + 75
𝑿 = 𝟐𝟕𝟎 − 𝟏𝟐𝟓 − 𝟒𝟓 − 𝟕𝟓
𝑿 = 𝟐𝟓
230 = 25 + 𝑿
𝑿 = 230 − 25
𝑿 = 𝟐𝟎𝟓
𝑿 = 𝟏𝟓
Respuesta: Los usuarios que prefieren Santa Marta son 15
345 = 75 + 25 + 205 + 𝑿
𝑿 = 345 − 75 − 25 − 205
𝑿 = 𝟒𝟎
Respuesta: Los usuarios que prefieren Barranquilla son 40
𝑿 = 𝟏𝟎𝟎
Respuesta: Los usuarios que no prefieren ninguna ciudad son 100.
Con el desarrollo de este trabajo colaborativo se logró cumplir con los objetivos antes mencionados,
resolviendo los ejercicios nos permitió practicar para poder analizar e interpretar a futuro temas desde la
lógica matemática.
La presente actividad nos contribuyó en fortalecer y aprender conceptos básicos y prácticos de la unidad
de estudio, asimismo, el simulador Truth Table nos aportó facilidades para la verificación de los ejercicios
de la tabla de la verdad.
REFERENCIAS BIBLIOGRÁFICAS
Jose Rafael Bocachica Gonzalez (2017) OVI UNIDAD 1 TRABAJO COLABORATIVO PASO 2 TAREA 2. Recuperado de
https://www.youtube.com/watch?time_continue=36&v=NIje4VRjABY