UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

LOGICA MATEMATICA

Tarea 1 Conectivos lógicos y teoría de conjuntos

PRESENTADO POR:
STEVEN ANDRES QUESADA MARIN

GRUPO: 90004_294

PAULA ANDREA MOSQUERA

TUTOR

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

“UNAD”

LOGICA MATEMATICA

05 DE OCTUBRE DE 2019
 INTRODUCCION
En este documento se estará dando solución a las incógnitas de diversos
ejercicios que logran explicar el tema de Proposiciones lógicas, Tablas de
verdad, Teoría de conjuntos de la lógica matemática
 Objetivos
Estudiar los conceptos básicos de proposiciones lógicas, Tablas de
verdad, Teoría de conjuntos que permitan verificar la verdad o falsedad
de proposiciones elementales.
• Determinar la verdad o falsedad de una proposición
• Utilizar los conceptos lógicos en la formación de proposiciones
compuestas
• Realizar operaciones entre conjuntos
Ejercicio 1: Proposiciones

p: El caso Odebrecht es un caso de corrupción en Colombia.

q: La corrupción del caso Odebrecht ocurrió en gran parte de América.
r: Nadie está investigando este caso de corrupción

[(𝑝∨𝑞)↔𝑟]∧(𝑟→𝑝)

Proposición compuesta en lenguaje natural:

El caso Odebrecht es un caso de corrupción en Colombia o La corrupción del

caso Odebrecht ocurrió en gran parte de América si, solamente si Nadie
está investigando este caso de corrupción y, si Nadie está investigando
este caso de corrupción entonces, el caso Odebrecht es un caso de
corrupción en Colombia.

Valor de verdad proposiciones simples:

p: V

q: V

r: F

Valor de verdad proposición compuesta:

[(𝑝∨𝑞)↔𝑟]∧(𝑟→𝑝)
[(V∨V)↔F]∧(F→V)
[V ↔F] ∧ V
F∧V
F
Ejercicio 2: Tablas de verdad

Argumento:
Sofía estudia medicina o estudia literatura inglesa y Si ella estudia
literatura inglesa entonces escribirá poemas.

• Proposiciones Simples:

p = Sofía estudia medicina

q = Estudia literatura inglesa

r = Escribirá poemas

• Lenguaje Simbólico: Se convierte el argumento al lenguaje

simbólico

(𝑝∨𝑞)∧( 𝑞→ 𝑟)

• Tabla de la verdad (manual):

p q r (𝑝∨𝑞) ( 𝑞→ 𝑟) (𝑝∨𝑞)∧( 𝑞→ 𝑟)
V V V V V V
V V F V F F
V F V V V V
V F F V V V
F V V V V V
F V F V F F
F F V F V F
F F F F V F

• Resultado de la tabla de verdad: CONTINGENCIA

• Simulador Lógica UNAD:
Ejercicio 3: Teoría de Conjuntos

Teniendo el siguiente diagrama de Venn-Euler:

• Definición de los conjuntos:

U= Estudiantes de Artes Marciales

A= Estudiantes de Karate
B= Estudiantes de Judo
C= Estudiantes de kendo

• Operación entre conjuntos (notación):

(A ∩ B) U (C ∩ B)

• Expresión en palabras:

La selección en el diagrama de Venn-Euler, correspondes a los

estudiantes que practican simultáneamente Katare y Judo o Kendo y
Judo

Video de explicación del ejercicio

https://www.youtube.com/watch?v=pCj89c-pOrI
Ejercicio 4: Aplicación de la Teoría de Conjuntos

Teniendo el siguiente diagrama de Venn-Euler y las operaciones entre

conjuntos planteadas, resuelva:

Diagrama de Venn

Operaciones entre conjuntos

a) AC Ո B
b) (A -B) U (B - A)
c) (B U C) C
d) A U B U C

• Definición de los conjuntos:

U= Estudiantes que practican Artes Marciales
A= Estudiantes que practican Karate
B= Estudiantes que practican Judo
C= Estudiantes que practican Kendo
• Planteamiento del ejercicio típico de teoría de conjuntos -
Con los interrogantes y respectivas respuestas:

Se realizó un estudio en la academia de artes marciales del colombo

japonés, para saber que artes marciales practican las personas en
dicha academia, teniendo en cuenta la información dada en el
diagrama de ven, se entrara a realizar las siguientes operaciones:

a) Operación: AC Ո B
Operación en palabras: Las estudiantes que no
practiquen Karate, pero practican Judo
Respuesta: 16+3=19
b) Operación: (A -B) U (B - A)
Operación en palabras: Las estudiantes que practican
Karate, pero no practican Judo o practican Judo, pero
no practican Karate
Respuesta: 4+6+3+16= 29

c) Operación: (B U C) C
Operación en palabras: Las estudiantes que no
practican ni Judo ni Kendo
Respuesta: 4
d) Operación: A U B U C
Operación en palabras: Las estudiantes que practican
las diferentes artes marciales
Respuesta: 4+8+3+6+10+16+20=67
 CONCLUSIONES

Se logra comprender de una manera más clara los conceptos manejados

en lógica matemática, el uso de la teoría de conjuntos, proposiciones y
tablas de verdad para relacionar la vida real en forma matemática.
 BIBLIOGRAFIA

Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y

fundamentos de álgebra lineal. Volumen I: conjuntos numéricos,
complementos. (pp. 19-28). Madrid, España: Editorial Tébar
Flores. Recuperado http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp
/reader.action?ppg=20&docID=3226457&tm=1529246259924

Gonzáles, T. L., & Saavedra, M. (2009). Teoría de Conjuntos. En ProQuest

ebrary (Ed). Aciertos matemáticos 11: serie para la educación media. (pp.
20 -24). Bogotá, Colombia: Educar Editores S.A.
Recuperadohttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.
action?ppg=21&docID=10345286&tm=1489708381971