Académique Documents
Professionnel Documents
Culture Documents
LOGICA MATEMATICAS
PRESENTADO POR:
LUISA FERNANDA GOMEZ CASTELBLANCO
CODIGO: 1.002.397.271
GRUPO: 90004_931
Tutor:
ANGELICA CABRA
[(𝑝 ∨ 𝑞) ↔ 𝑟] ∧ (𝑟 → 𝑝)
(En Colombia hay 22 departamentos o Ibagué es la ciudad musical de Colombia) si solo si Bogotá
es la capital Colombia. (Bogotá es la capital Colombia entonces en Colombia hay 22
departamentos)
[(𝑝 ∨ 𝑞) ↔ 𝑟] ∧ (𝑟 → 𝑝)
(F v V) ↔V ] ∧ ( V→F)
V ↔V ∧ F
V ∧ F
Sofía juega básquet por hobby o practica tenis de forma profesional. Si practica tenis de forma
profesional entonces juega por más de tres horas diarias y quema muchas calorías.
(p ∨ q) → q → (r ∧ s)
Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje simbólico
p q r S -q ( P v q) ( P v q) ↔q (P v q )↔q→( r ∧ s)
V V V V F V V V
V V V F F V V F
V V F V F V V F
V V F F F V V F
V F V V V V F V
V F V F V V F V
V F F V V V F V
V F F F V V F V
F V V V F V V V
F V V F F V V F
F V F V F V V F
F V F F F V V F
F F V V V F V V
F F V F V F V F
F F F V V F V F
F F V F V F V F
EJERCICIO 3
Defina los nombres de los conjuntos del diagrama de venn. Por ejemplo:
A ∩ B
La sección del diagrama de venn corresponde a empleados que tienen y no tienen estudios
profesionales en la empresa de Transtibana O.C.2
https://youtu.be/gRGg14KiTcM
Se realiza un estudio a diferentes muchachos que van a salir de bachillerato en la ciudad de Tunja,
en tres universidades de la ciudad de Tunja (Santo tomas, UPTC, UNAD) esto con el fin de saber
que tantos estudiantes aspiran entrar a cada una de estas universidades
A partir del diagrama de Venn-Euler que el estudiante haya seleccionado, el estudiante deberá:
U= estudiantes de Tunja
B= estudiantes de la UPTC
C= estudiantes de la UNAD
Con los datos dados en el diagrama de ven escogido, plantee con sus propias palabras, un
ejercicio típico de aplicación de teoría de conjuntos, formulando los interrogantes
correspondientes a las operaciones entre conjuntos dadas a continuación y dar las respectivas
respuestas:
𝐴∪𝐵
𝐴∆𝐶
(𝐵 ∩ 𝐶) − 𝐴
𝐴∩𝐵∩C
A U B : [x/x ∈ A, v, x ∈ B )
A U B: (9,3,5,4)
A ∆ C: [ x/x A ,v , x ∈ C, ∧, x ∉ A ∩ C]
A ∆ C: (9,5,)
(𝐵 ∩ 𝐶) − 𝐴 : [x/x ∈ B, ∧, x ∈ B, ∈ - A]
(𝐵 ∩ 𝐶) − 𝐴 ( 5,4)
𝐴 ∩ 𝐵 ∩ C: ( 3,5,4,)