Introducción

En el siguiente trabajo implementaremos casos posibles de la vida cotidiana para

comprender e implementar los conectivos lógicos y la teoría de conjuntos que son
fundamentales en el curso de lógica matemática, utilizaremos una herramienta digital
llamada Truth Table, donde confirmaremos si hemos comprendido bien el ejercicio en ese
punto.
 Objetivo

Objetivo general

Resolver y comprender la tarea número 1 correspondiente a la guía de conectivos

lógicos y teoría de conjuntos.

Objetivo especifico

 Aplicar los conocimientos adquiridos mediante la lectura de las

referencias bibliográficas que nos ha dado la guía e implementando los

aportes que nos haga el tutor y los compañeros de grupo.

 Apoyarme en el material que está en el entorno del conocimiento

para resolver los puntos que se encuentran en la guía.

 Descripción del ejercicio 1 proposiciones:

A continuación, encontrará los argumentos para el desarrollo del

ejercicio 1:

a) p: La multiplicación es conmutativa
q: La suma es conmutativa
r: La resta es conmutativa
[(𝑝 → 𝑟) ∨ ¬𝑟] ↔ (𝑞 ∧ ¬𝑝) lenguaje natural

R/TA: La multiplicación es conmutativa entonces La resta es

conmutativa o la resta no es conmutativa, si y solo si La suma es
conmutativa y La multiplicación no es conmutativa

Valor de verdad proposiciones simples:

p: V
q: V
r: F
Determinar el valor de verdad de la proposición compuesta
[(p → r) ∨ ¬r] ↔ (q ∧ ¬p)
[(v → f )v¬f ] ↔ (v ∧ ¬v)
[(f) ↔ v] ∧ (v ∧ f)
[f] ∧ (f)
𝑣
Descripción del ejercicio 2:
A continuación, encontrará los argumentos para el desarrollo del ejercicio

a) Si el vehículo de Gabriela necesita mantenimiento entonces, ella lo

lleva al concesionario o Si ella no lo lleva al concesionario entonces,
lo lleva taller de Fernando

Definición de preposiciones simples:

p: el vehículo de Gabriela necesita mantenimiento
q: lo lleva al concesionario
r: lo lleva al taller de Fernando

Lenguaje natural de la exposición formal

p →q: Si el vehículo de Gabriela necesita mantenimiento entonces, ella lo

lleva al concesionario
¬q→r: si ella no lo lleva al concesionario entonces, lo lleva al taller de
Fernando

𝑝→𝑞∨¬ 𝑞 →𝑟
Generar una tabla de verdad con el simulador Lógica UNAD

TABLA DE LA VERDAD

p q r ¬𝑞 (p → q) (¬ 𝒒 → 𝒓) (𝒑 → 𝑞 ∨ ¬𝑞 → 𝑟)
v v v F V v V
v v f F V V V
v f v V F V V
v f f V F F F
f v v F V V V
f v f F V V V
f f v v V v v
f f f v V f v

El argumento es contingencia. Tiene valores falsos y verdaderos

Descripción del ejercicio 3

A continuación, encontrará el diagrama de Venn-Euler requerido para el

desarrollo del ejercicio 3

a)

 Definición de los conjuntos:

U= personas que practican deporte

A= personas que practican futbol
B= personas que practican tenis
C= personas que practican básquet
 Operación entre conjuntos (notación):

A −B− C
 Expresión en palabras:

La selección en el diagrama de Venn-Euler, corresponde a las personas que practican

futbol, pero no practican ni tenis, ni básquet.
Ejercicio 4: Aplicación de la Teoría de Conjuntos

A continuación, encontrará el diagrama de Venn-Euler requerido para

desarrollar el ejercicio 4

a) :

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

Por ejemplo:
U= personas que practican deporte
A= personas que practican futbol
B= personas que practican tenis
C= personas que practican básquet

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

𝐴 ∪ 𝐵: 10 personas que practican futbol y tenis a la vez

𝐴 ∆ 𝐶: 20 personas que practican futbol y 36 que practican básquet.
(𝐵 ∩ 𝐶) − 𝐴: 16 personas que practican tenis y básquet, pero no practican futbol
𝐴 ∩ 𝐵 ∩ 𝐶: 2 personas que practican los tres deportes
 Conclusión

Finalmente, en el desarrollo de la guía de conectivos lógicos y teoría de conjuntos,

concluyo lo importante que es la interpretación de un texto y un diagrama, aplicando
formulas e implementado de maneras diferentes la interpretación que le di para lograr
entender el inicio de la lógica matemática, el apoyo que le brinda un tema al otro me
funciono al momento de resolver estos cuatro puntos.
 Bibliografía

 Cárdenas, J. L. (2014). Álgebra: Serie universitaria patria. (pp. 2-6). México,

D.F.: Grupo Editorial Patria. Recuperado de

https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=13&docID

=3227286&tm=1531172313538

 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

 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&docI

D=3226457&tm=1529246259924

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

http://hdl.handle.net/10596/6542