Tarea 1 – Conectivos Lógicos y Teoría de Conjuntos.

Estudiante:

Código:

Tutor:

Grupo:

Universidad Nacional Abierta y a Distancia - UNAD

Escuela de Ciencias Básicas, Tecnología e Ingeniería – ICBTI

Programa: Ingeniería de Sistemas.

Curso: Lógica Matemática.

 Introducción

Las proposiciones son oraciones o enunciados de los cuales es posible declarar su

veracidad o falsedad. Están compuestas por sujeto que es de quien hablamos y por predicado que

es lo que afirmamos del sujeto. Son simples si son inseparables o no poseen enlaces y son

compuestas si están formadas a partir de varias proposiciones simples unidas por conectivos.

El uso de conectivos lógicos es importante en la medida que le da sentido al argumento y

facilita la labor de hallar su validez. Ya sea mediante el conocimiento previo de la veracidad o

falsedad de la proposición simple o a partir de la elaboración de una tabla de verdad.

Por otra parte los conjuntos son colecciones de objetos diferentes pero con características

entre sí, lo que les permite ser agrupados. La teoría de conjuntos estudia todo lo relacionado con

estos, incluyendo las operaciones posibles entre ellos. Dichas operaciones hacen posible la

resolución de problemas y los resultados se pueden proyectar a conflictos de la vida cotidiana.

El conocimiento de los conectivos lógicos y la teoría de conjuntos es relevante para

contribuir al manejo del lenguaje formal o simbólico y con este lograr la comprensión y

desarrollo de temas futuros propuestos en el curso.

Objetivos

Objetivo general
 Afianzar las nociones sobre conectivos lógicos y teoría de conjuntos con la finalidad de

aplicarlos posteriormente en la resolución de conflictos del diario vivir.

Objetivos específicos

 Definir las proposiciones simples de un argumento.

 Expresar las proposiciones en lenguaje simbólico o natural, según lo requiera él ejercicio.

 Determinar el valor de verdad de las proposiciones simples y compuestas.

 Elaborar correctamente una tabla de verdad y señalar su resultado.

 Reconocer y nombrar los conjuntos.

 Conocer las operaciones entre conjuntos y su respectiva notación.

 Reconocer y representar las operaciones entre conjuntos en el diagrama de Venn-Euler.

 Resolver problemas entre las operaciones entre conjuntos.

Ejercicio 1 Proposiciones
A continuación, encontrará los argumentos para el desarrollo del ejercicio 1:

a) p: Iván Duque es colombiano

q: el 8 de agosto del 2018 se posesiono el nuevo presidente de los colombianos

r: Iván Duque es el nuevo alcalde de Ibagué

[ ( p ∧q ) → ¬r ] → ( p ∨¬ p )

A partir de la letra seleccionada se dará respuesta a los siguientes ítems:

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

Si Iván Duque es colombiano y el 8 de agosto del 2018 se posesiono el nuevo presidente de los

colombianos entonces Iván Duque no es el nuevo alcalde de Ibagué; entonces Iván Duque es

colombiano o Iván Duque no es colombiano.

• Determinar el valor de verdad de las proposiciones simples.

o p: V

o q: F
o r: F

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

[ ( p ∧q ) → ¬r ] → ( p ∨¬ p )
[(V ∧ F) → ¬F] → (V ∨ F)

(F) → V → (V)

V → V

Ejercicio 2 Tablas de verdad

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

a) Si Angélica chatea en su celular y conduce por la autopista entonces Angélica tiene una

alta probabilidad de accidentarse o Angélica puede dañar su automóvil.

A partir de la letra seleccionada se dará respuesta a los siguientes ítems:

 Definir las proposiciones simples del argumento.

p: Angélica chatea en su celular

q: Angélica conduce por la autopista
r: Angélica tiene una alta probabilidad de accidentarse
s: Angélica puede dañar su automóvil

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

(p ∧ q) → (r ∨ s)

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico

 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 ∧ q) (r ∨ s) (p ∧ q) → (r ∨ s)
V V V V V V V
V V V F V V V
V V F V V V V
V V F F V F F
V F V V F V V
V F V F F V V
V F F V F V V
V F F F F F V
F V V V F V V
F V V F F V V
F V F V F V V
F V F F F F V
F F V V F V V
F F V F F V V
F F F V F V V
F F F F F F V

Resultado de la tabla de verdad: Contingencia.

Ejercicio 3 Teoría de Conjuntos

A continuación, encontrará el diagrama de Venn-Euler utilizado para el desarrollo del ejercicio

3:

b) Diagrama:

 Defina los nombres de los conjuntos del diagrama de Venn.

U= Fans de la saga Canción de Hielo y Fuego

A= Fans que leen los libros

B= Fans que ven la serie televisiva

C= Fans que leen los comics

 Determine la operación entre conjuntos, representada en el diagrama de Venn

seleccionado (notación entre conjuntos).

A Δ B= (A ∪ B) – (A ∩ B)

 Exprese la notación del diagrama de Venn seleccionado en palabras.

Lo sombreado en el diagrama de Venn muestra a los fans que leen los libros o a los fans que ven

la serie televisiva pero no a los fans que leen los libros y ven la serie al mismo tiempo.

 Comparto el enlace del video con la explicación: https://youtu.be/xnZWjTjbcg4

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:

c) Diagrama:

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.

U= Clientes que son propietarios de mascotas

A= Clientes que tienen perros

B= Clientes que tienen peces

C= Clientes que tienen aves

 Planteamiento del ejercicio típico de teoría de conjuntos con los interrogantes y

respectivas respuestas:

Una tienda de mascotas realizo una encuesta a sus clientes habituales con la finalidad de conocer

qué mascota los acompañan en su casa. De acuerdo a la información del diagrama resuelva lo

siguiente.

 Operación: A∪B
Operación expresada en palabras: Clientes que tienen por mascota a perros o peces.

Respuesta: 4+2+5+8+6+3= 28

 Operación: A ∆ C

Operación expresada en palabras: Clientes que tienen como mascotas a perros o aves sin contar a

los que tienen perros y aves al mismo tiempo.

Respuesta: 4+5+3+12= 24

 Operación: (B∩C)-A
Operación expresada en palabras: Clientes que tienen peces y aves, pero no perros.

Respuesta: 3

 Operación: A∩B∩C

Operación expresada en palabras: Clientes que tienen perros, peces y aves al mismo tiempo.

Respuesta: 8

Conclusiones
 Con la realización del trabajo fue posible adquirir conocimientos nuevos sobre conectivos

lógicos y teoría de conjuntos y afianzar los previos mediante la resolución de los problemas

propuestos.

Conocer sobre el lenguaje simbólico que será de mucha utilidad para la comprensión de

las materias subsiguientes.

Aprender a elaborar correctamente una tabla de verdad permite conocer el valor de

verdad de las proposiciones y clasificar acertadamente su resultado.

Referencias Bibliográficas
Amaya, H. (2016). Tablas de verdad colaborativo 2, [Video]. Recuperado de

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

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/reader.action?

ppg=21&docID=10345286&tm=1489708381971

Rodríguez, H. (2017). Proposiciones y conectivos Lógicos (Valor de verdad proposiciones

compuestas). [Archivo de video]. Recuperado de http://hdl.handle.net/10596/11489

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 de

http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?

ppg=20&docID=3226457&tm=1529246259924

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/reader.action?

ppg=15&docID=11046169&tm=1489706134764

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

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

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

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