LOGICA MATEMATICA

Tarea 1

Conectivos lógicos y teoría de conjuntos

PRESENTADO POR:

DAVID SEBASTIAN CARRILLO

CODIGO 1010046305

ENTREGADO A:

Gabriel Jaime Espitia

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

MARZO del 2019

 INTRODUCCION

En el siguiente trabajo se podrán ver varios ejercicios los cuales son que
en el ejercicio 1 se verán proposiciones en ejercicio 2 se verán las tablas
de verdad en el ejercicio 3 se verán teorías de conjuntos y en el
ejercicio 4 se verá la aplicación de la teoría de conjuntos los cuales en
estos se podrán consultar varias herramientas para poder desarrollar las
actividades más fácilmente.
 OBJETIVOS

Los objetivos de esta actividad son:

 Comprender y ampliar más fácilmente el desarrollo de las

proposiciones en un lenguaje natural, como también de
determinar el valor de verdad de las proposiciones simples y
compuestas.
 Comprender y desarrollar las Tablas de verdad definiendo la
expresión del argumento en lenguaje simbólico o formal y
desarrollarlos tanto en páginas online como en Word.
 Comprender y desarrollar la Teoría de conjuntos identificando el
diagrama de Venn-Euler y resolviéndolo en la operación entre
conjuntos y luego poder expresarlo en palabras
 Comprender y desarrollar la Aplicación de la Teoría de Conjuntos
viendo nuevamente el diagrama de Venn-Euler solucionándolo con
el problema de teoría de conjuntos y la operación en palabras.
 Ejercicio 1

A partir del argumento que haya seleccionado deberá dar respuesta a

los siguientes ítems:

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

•Determinar el valor de verdad de las proposiciones simples.

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

B.

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

(𝑞 ∧ 𝑟) → 𝑝

Proposición compuesta en lenguaje natural:

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.

Valor de verdad proposiciones simples

P: v

q: v

r: v

Valor de verdad proposición compuesta

(𝑞 ∧ 𝑟) → 𝑝

(𝑣 ∧ 𝑣) → 𝑣

(𝑉) → (𝑉)

𝑉
 Ejercicio 2

A partir del argumento que haya seleccionado deberá dar respuesta a

los siguientes ítems:
 Definir las proposiciones simples del argumento.
 Definir la expresión del argumento en lenguaje simbólico o formal.
 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.

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

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

1. Proposiciones simples

p= Aprender matemáticas desarrolla el razonamiento lógico

q= se posee una buena comprensión lectora

r= buena ortografía

2. Leguaje simbólico:

(𝑝 ↔ 𝑞) ∧ 𝑟
 3. Simulador Lógica UNAD:

4. Resultado de la tabla de verdad:

El resultado que nos da la tabla de verdad es de contingencia ya

que nos da como resultados verdaderos y falsos por consiguiente no
es un argumento efectivo.

p q r (p↔q) (p↔q) ∧ r
V V V V F
V V F V F
V F V F F
V F F F F
F V V F F
F V F F F
F F V V V
F F F V F
 Ejercicio 3

Teniendo el diagrama de venn de la letra seleccionada, el estudiante

deberá dar respuesta a los siguientes ítems:

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

Por ejemplo:
U= Estudiantes de la ECBTI
A= Estudiantes Matriculados en Cálculo Integral
B= Estudiantes Matriculados en Lógica Matemática
C= Estudiantes Matriculados en Álgebra Trigonometría y
Geometría Analítica
La definición de los conjuntos debe ser de autoría de cada
estudiante, por lo que de encontrar conjuntos iguales entre
estudiantes se considerara como copia y se tomaran las medidas
correctivas estipuladas por la UNAD.
 Determine la operación entre conjuntos, representada en el
diagrama de venn seleccionado (notación entre conjuntos).
 Exprese la notación del diagrama de venn seleccionado en
palabras.
 Realizar un vídeo donde explique la forma como fue desarrollada
la tarea. La realización del vídeo puede ser con la cámara del
celular, cámara del pc u otra alternativa que se le facilite. El
estudiante debe aparecer en la grabación de frente y mostrar a la
cámara su documento de identificación, ocultando el número del
mismo (En la imagen se debe ver claramente el nombre y
apellidos del estudiante).
Deberá subir el link del vídeo a YouTube u otra plataforma de
vídeos y pegar el enlace debajo de la solución del ejercicio en el
 documento final a entregar. El vídeo no debe superar los 3
minutos de duración.

B.

Definición de los conjuntos:

U: Estudiantes matriculados en la Unad

A: Estudiantes pertenecientes a ECBTI

B: Estudiantes pertenecientes a ECACEN

C: Estudiantes pertenecientes a ECAPMA

Operación entre conjuntos: ((𝐂 − 𝐀) ∩ 𝐁)={𝒙|𝒙 ∈ 𝑪 𝒚 𝒙 ∈ 𝑨 𝒚 𝒙 ∈ 𝑩}

Expresión en palabras: La selección en el diagrama de Venn-Euler,

corresponde a los Estudiantes matriculados en la Unad que pertenecen a
ECAPMA pero no pertenecen a ECBTI y a ECACEN.

Link del video: https://youtu.be/YQTNjTjs4T4

 Ejercicio 4

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.

Por ejemplo:
U= Estudiantes de la ECBTI
A= Estudiantes Matriculados en Cálculo Integral
B= Estudiantes Matriculados en Lógica Matemática
C= Estudiantes Matriculados en Álgebra Trigonometría y
Geometría Analítica
La definición de los conjuntos debe ser de autoría de cada
estudiante, por lo que de encontrar conjuntos iguales entre
estudiantes se considerara como copia y se tomaran las medidas
correctivas estipuladas por la UNAD.
 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:
 𝐴∪𝐵
 𝐴∆𝐶
 (𝐵 ∩ 𝐶) − 𝐴
 𝐴∩𝐵∩𝐶
B.

U: Estudiantes matriculados en la Unad

A: Estudiantes pertenecientes a ECBTI

B: Estudiantes pertenecientes a ECACEN

C: Estudiantes pertenecientes a ECAPMA

Problema de teoría de conjuntos: Se realizó una encuesta a los

estudiantes que se matricularon a la Unad para saber que estudiantes
pertenecían a ECBTI, ECACEN y a ECAPMA Por lo tanto, a partir de la
información obtenida en el diagrama de Ven, resuelva:

A) Operación en palabras: 𝑨 ∪ 𝑩
Estudiantes matriculados en la Unad que pertenezcan al ECBTI o a
ECACEN

Respuesta: 15+8+12+6+4+1=21
B) Operación en palabras: 𝐴 ∆ 𝐶

Estudiantes matriculados en la Unad que pertenezcan al ECBTI y no a

ECACEN y que pertenezcan a ECACEN y no al ECBTI

Respuesta: 15+8+4+1=28

C) Operación en palabras: (𝐵 ∩ 𝐶) − 𝐴

Estudiantes matriculados en la Unad que pertenezcan solo a ECBTI y

a ECAPMA

Respuesta: 4
D) Operación en palabras: 𝐴 ∩ 𝐵 ∩ 𝐶

Estudiantes matriculados en la Unad que pertenezcan solo pertenezca

a las 3 escuelas.

Respuesta: 6
 CONCLUSIONES

Las conclusiones del trabajo son que

 Se podrán comprender y ampliar más fácilmente el desarrollo de

las proposiciones en un lenguaje natural, como también de
determinar el valor de verdad de las proposiciones simples y
compuestas.

 Se podrán comprender y desarrollar las Tablas de verdad

definiendo la expresión del argumento en lenguaje simbólico o
formal y desarrollarlos tanto en páginas online como en Word.

 Se podrán comprender y desarrollar la Teoría de conjuntos

identificando el diagrama de Venn-Euler y resolviéndolo en la
operación entre conjuntos y luego poder expresarlo en palabras

 Se podrán comprender y desarrollar la Aplicación de la Teoría de

Conjuntos viendo nuevamente el diagrama de Venn-Euler
solucionándolo con el problema de teoría de conjuntos y la
operación en palabras.
 BIBLIOGRAFIAS

 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. Recuperadohttp://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/read
er.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
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=15
&docID=11046169&tm=1489706134764

 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
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=21
&docID=10345286&tm=1489708381971

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

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

 Amaya, H. (2016). Tablas de verdad colaborativo 2, [Video]. Recuperado

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

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

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

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

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

 Recuperado de: https://youtu.be/YQTNjTjs4T4