TAREA 1-CONECTIVOS LOGICOS Y TEORIA DE CONJUNTOS

WILINTON ESNEIDER VARGAS CASTRO

ESTUDIANTE

INGENIERIA DE SISTEMAS

FOSCA

CEAD GACHETA

10/05/2019

JHORMAN ANDRES VILLANUEVA

TUTOR

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD

 INTRODUCCIÓN

Este taller se compone de cuatro ejercicios dividido en 2 ejercicios de proposiciones y dos

de conjuntos de venn los cuales toca presentar individualmente en el foro para su respectiva
retroalimentacion asi mismo este taller esta evaluado por 135 puntos distribuidos en
diferentes aspectos.

luego de de subir estos talleres al foro se crea un documento word con todos los 4 talleres el
dia 12 de mayo.

objetivos

• resolver cada uno de los ejercicios de la guia de actividades

• subirlos al foro para su respectiva retroalimentacion por parte del tutor

• corregir los trabajos de acuerdo a las correcciones del tutor

• crear un archivo word con los 4 ejersisisos

• grabar un video explicando el tema de conjuntos de venn

• subir el documento word al entorno de evaluacion y seguimiento

 EJERCICIO 1: PROPOSICIONES
a) p: la suma de los números naturales es conmutativa
q: sumar 3+4 es igual a 7
r: sumar 4+3 es igual a 7

(𝑞 ∧ 𝑟) → 𝑝

1-Escriba la proposición compuesta propuesta en lenguaje natural.

Si sumar 3+4 es igual a 7 y sumar 4+3 es igual a 7 entonces la suma de los números
naturales es conmutativa

2-Determinar el valor de verdad de las proposiciones simples.

(𝑞 ∧ 𝑟) → 𝑝

P:v
q:v
r:v

3-Determinar el valor de verdad de la proposición compuesta.

(𝑞 ∧ 𝑟) → 𝑝

(V∧V) V
(V)  (V)
(V)
 EJERCICIO 2. TABLAS DE VERDAD

DESCRIPCIÓN DEL EJERCICIO

 Aprender matemáticas desarrolla el razonamiento lógico si y solo si

se posee una buena comprensión lectora y buena ortografía.

 Definir las proposiciones simples del argumento

p: aprender matemáticas desarrolla el razonamiento lógico

q: se posee una buena comprensión lectora
r: buena ortografía

 definir la expresión del argumento en lengua simbólico o formal.

(p↔q) Λ r
 Generar una tabla de verdad con el simulador lógica UNAD a partir del lenguaje simbólico.

p q r p↔q∧r
v v v V
v v f F
v f v F
v f f F
f v v F
f v f V
f f v V
f f f V
 Generar una tabla de verdad manualmente a partir del lenguaje simbólico y determinar si el
resultado es una tautologia, contingencia o contradiccion.
 1.EJERCICIO 3: TEORÍA DE CONJUNTOS
V

1-Defina los nombres de los conjuntos del diagrama de venn.

U: Carreras de la UNAD

A: Psicologia

B: Ing de sistemas

C: Musica

2-Determine la operación entre conjuntos, representada en el diagrama

de venn seleccionado.

(AUB)-C

3-Exprese la notación del diagrama de ven seleccionado en palabras.

JOVENES ESTUDIANDO DIFERENTES CARRERAS EN LA UNAD

 2.VIDEO
 https://youtu.be/Q2royMrHLlc
 1.EJERCICIO 4: APLICACIÓN DE LA TEORÍA DE CONJUNTOS

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

U= Marca de smartphone
A= personas que utilizan Samsung
B= personas que utilizan Huawei
C= personas que utilizan Lenovo

 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:

 𝑨 ∪ 𝑩 =(Personas que utilizan smartphone Samsung o personas q utilizan
smartphone Huawei)
 𝐴 ∪ 𝐵 = [15+8+12+6+4+1]=46

 𝑨 ∆ 𝑪 =(personas que utilizan smartphone Samsung y personas que utilizan

smartphone Lenovo pero no ambas)
 𝐴 ∆ 𝐶= [15+12+11+4]=42
 (𝑩 ∩ 𝑪) − 𝑨 = (personas que utilizan smartphone Huawei y personas que
utilizan smartphone Lenovo pero no utilizan Samsung)
 (𝐵 ∩ 𝐶) − 𝐴= [4]

 𝑨 ∩ 𝑩 ∩ 𝑪 = (personas que utilizan smartphone Samsung personas que

utilizan smartphone Huawei y personas que utilizan smartphone Lenovo )
 𝐴 ∩ 𝐵 ∩ 𝐶= [6]
 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

 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
http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=20&docID=3226
457&tm=1529246259924

 http://logicaunad.com/jtruth/

 Sánchez, H. R. (2014). Álgebra. México, D.F., México: Larousse – Grupo

Editorial Patria. (pp.2-30). 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
 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
 Wagner, M. (2016). Lógica conjuntos 1, [Video]. Recuperado de
http://hdl.handle.net/10596/6558