Unidad 1: Tarea 1 - Conectivos Lógicos y teoría de conjuntos

Aporte individual

Presentado por:
Wilton Araujo Chaverra – Código: 11.814.162

Presentado a Tutor:
RUBEN DARIO ANGARITA

Curso:
90004_265
LOGICA MATEMATICA

Universidad Nacional Abierta y a Distancia UNAD

27/04/2020
Introducción.
El presente trabajo nos permite tratar temas como: Lógica proposicional, tablas de verdad
en proposiciones compuestas, álgebra de proposiciones, tautologías, contradicciones,
contingencias y teoría de conjuntos esto con el fin de aplicarlos a la cotidianidad del ser
humano
Objetivos:
General.
Realizar ejercicios que tengan que ver con Lógica proposicional, tablas de verdad en
proposiciones compuestas, álgebra de proposiciones, tautologías, contradicciones,
contingencias y teoría de conjuntos
Especifico:
 Realizar cada uno un ejercicio de proposiciones
 Realizar ejercicios que tengan que ver con tablas de verdad
 Realizar ejercicios de teorías de conjunto
Ejercicio 1: Proposiciones
C.
p: El Deportes Tolima fue campeón en el 2003 como en el 2018.
q: En el 2003 Tolima le gano la final a Cali de local.
r: En el 2018 Tolima le gano la final a Nacional de visitante.
[(𝑝 ∨ 𝑞) → 𝑟] ↔ (~𝑟 ∧ ~𝑝)

➢ Escriba la proposición compuesta propuesta en lenguaje natural.

R/: El Deportes Tolima fue campeón en el 2003 como en el 2018 ó En el 2003 Tolima
le gano la final a Cali de local, entonces En el 2018 Tolima le gano la final a Nacional
de visitante, si sólo si, En el 2018 Tolima no le gano la final a Nacional de visitante y El
Deportes Tolima no fue campeón en el 2003 como en el 2018.

➢ Determinar el valor de verdad de las proposiciones simples.

P: v
q: v
r: f

➢ Determinar el valor de verdad de la proposición compuesta.

[(𝑝 ∨ 𝑞) → 𝑟] ↔ (~𝑟 ∧ ~𝑝)
(V v V → F) ↔ V ∧ F
V →F ↔ F
F ↔ F
V

Ejercicio 2: Tablas de verdad

c. Si el uso de computador es muy básico en la UNAD y Juan no tiene computador,

entonces, tendrá dificultad para estudiar o irá al CEAD más cercano para usar los
que la universidad le ofrece.
➢ Definir las proposiciones simples del argumento.
P: el uso de computador es muy básico en la UNAD y
q: Juan no tiene computador
r: tendrá dificultad para estudiar
s: irá al CEAD más cercano para usar los que la universidad le ofrece.

➢ Definir la expresión del argumento en lenguaje simbólico o formal.

R/: (p v ~q), ↔ (r ∧ s)

➢ Generar una tabla de verdad con el simulador Lógica UNAD a partir del
lenguaje simbólico (El estudiante encontrará la Guía para el uso de recursos
educativos Simulador Lógica UNAD, en el Entorno de Aprendizaje Práctico, así
como el link de acceso al recurso)

➢ 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.
p q r s (p v ~q), ↔ (r ∧ s)
V V V V V
V V V F F
V V F V F
V V F F F
V F V V V
V F V F F
 V F F V F
V F F F F
F V V V F
F V V F V
F V F V V
F V F F V
F F V V V
F F V F F
F F F V F
F F F F F

Ejercicio 3: Teoría de conjuntos

C.

➢ Defina los nombres de los conjuntos del diagrama de venn.

R/: U= ESTUDIANTES DE LA UNAD
A= Estudiantes de solo Administración de empresa
B= Estudiantes de contaduría y administración de empresa
C= Estudiantes de contaduría, administración y ingeniería

➢ Determine la operación entre conjuntos, representada en el diagrama de venn

seleccionado (notación entre conjuntos).

R/: U = B – A U C

➢ Exprese la notación del diagrama de venn seleccionado en palabras.

R/: Estudiantes de la UNAD que solo están en Administración de empresa o sin tener en
cuenta los de los conjuntos a u c

➢ Realizar un vídeo donde explique la forma como fue desarrollada la tarea.

LINK VIDE: https://youtu.be/9mTOUGr38V4

Ejercicio 4: Aplicación de la Teoría de Conjuntos

A partir del diagrama de Venn-Euler que el estudiante haya seleccionado, el estudiante

deberá:

➢ Definir los nombres de los conjuntos del diagrama de venn.

R/: U= ESTUDIANTES DE LA UNAD
A= Estudiantes de solo Administración de empresa
B= Estudiantes de contaduría y administración de empresa
C= Estudiantes de contaduría, administración y ingeniería

➢ 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:

➢ (𝐴 ∩ 𝐶) − 𝐵

➢𝐴∆𝐵

➢ (𝐵 ∩ 𝐶) 𝑐
➢ 𝐵 − (𝐴 ∩ 𝐵 ∩ 𝐶)
R/: 𝐴 ∆ 𝐵 = (X/X ϵ A, v, X ∉ 𝐴 ∩ 𝐵)

𝐴 ∆ 𝐵 = 27+28
𝐴 ∆ 𝐵 =55

(𝐴 ∩ 𝐶) – 𝐵 = 24+25
(𝐴 ∩ 𝐶) – 𝐵 = 49

𝐵 − (𝐴 ∩ 𝐵 ∩ 𝐶) = 30

(𝐵 ∩ 𝐶) 𝑐 = 26+27+29
(𝐵 ∩ 𝐶) 𝑐 = 82
Conclusiones:
 La realización de este trabajo me permitió realizar ejercicios de temas
proposiciones, tablas de verdad, teorías de conjunto
Referencias bibliográficas

Proposiciones y tablas de verdad

 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:24
60/lib/unadsp/reader.action?ppg=20&docID=3226457&tm
=1529246259924

Tablas de verdad:

 Sánchez, H. R. (2014). Álgebra. (pp. 2- 30). México, D.F.,

México: Larousse - Grupo Editorial Patria. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/re
ader.action?ppg=15&docID=11046169&tm=14897061347
64

Teoría de conjuntos:

 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. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/re
ader.action?ppg=21&docID=10345286&tm=14897083819
71

Wagner, M. (2016). Lógica Proposiciones 1, [Video].

Recuperado de http://hdl.handle.net/10596/6542
Amaya, H. (2016). Tablas de verdad colaborativo 2,
[Video]. Recuperado de http://hdl.handle.net/10596/6547
Wagner, M. (2016). Lógica conjuntos 1, [Video]. Recuperado
de http://hdl.handle.net/10596/6558