LOGICA MATEMATICA

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

GRUPO 90004A_614

PRESENTADO POR:

KATERINE ARDILA GONZALEZ

CODIGO: 1144031470

PRESENTADO A:

PAULA ANDREA MOSQUERA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS ADMINISTRATIVAS, CONTABLES, ECONÓMICAS Y DE

NEGOCIOS –ECACEN

OCTUBRE 2019
 INTRODUCCION

La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y
técnicas determina si un argumento es válido. La lógica es ampliamente aplicada en la
filosofía, matemáticas, computación, física. En la filosofía para determinar si un
razonamiento es válido o no, ya que una frase puede tener diferentes interpretaciones, sin
embargo, la lógica permite saber el significado correcto. En las matemáticas para demostrar
teoremas e inferir resultados matemáticos que puedan ser aplicados en investigaciones. En la
computación para revisar programas. En general la lógica se aplica en la tarea diaria, ya que
cualquier trabajo que se realiza tiene un procedimiento lógico, por el ejemplo; para ir de
compras al supermercado una ama de casa tiene que realizar cierto procedimiento lógico que
permita realizar dicha tarea. Si una persona desea pintar una pared, este trabajo tiene un
procedimiento lógico, ya que no puede pintar si antes no prepara la pintura, o no debe pintar
la parte baja de la pared si antes no pintó la parte alta porque se mancharía lo que ya tiene
pintado, también dependiendo si es zurdo o derecho, él puede pintar de izquierda a derecha
o de derecha a izquierda según el caso, todo esto es la aplicación de la lógica.
 OBJETIVO

Por medio de esta seri de ejercicios se establece la importancia de la lógica matemática,

después definimos el concepto de proposición. Se establece el significado y utilidad de
conectivos lógicos para formar proposiciones compuestas. También abordamos las
proposiciones condicionales y bicondicionales. Definimos tautología, contradicción y
contingente, así mismo explicamos a que se le llama proposiciones lógicamente equivalentes
apoyándonos de tablas de verdad.
Actividades a desarrollar

La tarea de esta unidad se compone de una serie de ejercicios que se describen a continuación:

Ejercicio 1: Proposiciones

Para el desarrollo de este ejercicio, es necesario que el estudiante revise en el Entorno de

Conocimiento (Unidad 1), las siguientes referencias:

 Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y

fundamentos de álgebra lineal. Volumen I: conjuntos numéricos,
complementos. (pp. 19-28)
 Rodríguez, H. (2017). Proposiciones y conectivos Lógicos (Valor de verdad
proposiciones compuestas). [Archivo de video]

Una vez realizada la lectura, desarrolle el ejercicio propuesto

E) p: Los leones son grandes felinos

q: Los leones viven en África
r: Los leones son herbívoros
[(𝑝 ∧ 𝑟) ∨ (𝑝 → 𝑞)]
A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
 Escriba la proposición compuesta propuesta en lenguaje natural.
R// Los leones son grandes felinos y los leones son herbívoros ambos si los leones
son grandes felinos entonces los leones viven en África.
 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 ∧ F) v (V → V)
(F) v (V)
(F)
Ejercicio 2: Tablas de verdad

Para el desarrollo de este ejercicio, es necesario que el estudiante revise en el Entorno de

Conocimiento (Unidad 1), las siguientes referencias:

 Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y

fundamentos de álgebra lineal. Volumen I: conjuntos numéricos,
complementos. (pp. 19-28)
 Amaya, H. (2016). Tablas de verdad colaborativo 2, [Video]

Una vez realizadas las lecturas, desarrolle el ejercicio propuesto.

e) PlayStation es una consola si y sólo si es usada como un reproductor de Blue-Ray
y para jugar juegos de video.
A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
 Definir las proposiciones simples del argumento.
P= PlayStation es una consola
Q= si y sólo si es usada como un reproductor de Blue-Ray
R= y para jugar juegos de video.
 Definir la expresión del argumento en lenguaje simbólico o formal.
[p↔(q ∧ r)]
 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 (q ∧ r) [p↔(q ∧ r)]

V V V V V

V V F F F

V F V F F

V F F F F

F V V V V

F V F F V

F F V F V

F F F F V
Ejercicio 3: Teoría de conjuntos

Para el desarrollo de este ejercicio, es necesario que el estudiante revise en el Entorno de

Conocimiento (Unidad 1), las siguientes referencias:

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

Editorial Patria. (pp. 2- 30).
 Wagner, M. (2016). Lógica conjuntos 1, [Video]

Una vez realizada la lectura, desarrolle el ejercicio propuesto.

Descripción del ejercicio

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

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.
U= Estudiantes de la UNAD
A= Estudiantes Matriculados en Métodos Determinísticos
B= Estudiantes Matriculados en Gestión Empresarial
C= Estudiantes Matriculados en Probabilidad
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).
R// A Ո B
 Exprese la notación del diagrama de venn seleccionado en palabras.

De acuerdo al diagrama podemos decir que corresponde a los Estudiantes

Matriculados en Métodos Determinísticos y los Estudiantes Matriculados en Gestión
Empresarial de la UNAD.
Ejercicio 4: Aplicación de la Teoría de Conjuntos

Para el desarrollo de este ejercicio, es necesario que el estudiante revise en el Entorno de

Conocimiento (Unidad 1), las siguientes referencias:

 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).
 Wagner, M. (2016). Lógica conjuntos 1, [Video]
Una vez realizada la lectura, desarrolle el ejercicio propuesto.

Descripción del ejercicio:

A continuación, encontrará el diagrama de Venn-Euler requerido para desarrollar el 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.

 U= Clientes heladería VAL
 A= Clientes que les gusta el helado de vainilla
 B= Clientes que les gusta el helado de chocolate
 C= Clientes que les gusta el helado de fresa

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:
 𝐴𝑐 ∩ 𝐵
-Clientes que les gusta el helado de chocolate o chocolate y fresa.
𝐴𝑐 ∩ 𝐵
𝐴𝑐 = (11,16,17)
𝐵 = (11,10,16)
𝐴𝑐 ∩ 𝐵 = 11 + 16
𝐴𝑐 ∩ 𝐵= 27
 (𝐴 − 𝐵) ∪ (𝐵 − 𝐴)
Clientes que les gusta el helado de fresa o chocolate y clientes que les gusta
el helado de vainilla y fresa o chocolate y vainilla
(𝐴 – 𝐵 )= {14, 8}
(𝐵 − 𝐴) = {11,16}
(𝐴 − 𝐵) ∪ (𝐵 − 𝐴) = {14,8,11,16}
(𝐴 − 𝐵) ∪ (𝐵 − 𝐴) = 14+8+11+16
(𝐴 − 𝐵) ∪ (𝐵 − 𝐴) =49
 (𝐵 ∪ 𝐶)𝑐
Clientes que les gusta el helado de chocolate

(𝐵 ∪ 𝐶) 𝑐
(𝐵 ∪ 𝐶) = {10,11,16,8,17}
(𝐵 ∪ 𝐶) 𝑐= 14

 𝐴∪𝐵∪𝐶

Clientes que les gustan todos los sabores de helado

𝐴 ∪ 𝐵 ∪ 𝐶 = { 14,10,1,8,16,17,10}

𝐴 ∪ 𝐵 ∪ 𝐶 = 14+10+11+8+16+17+10

𝐴 ∪ 𝐵 ∪ 𝐶 = 86
 CONCLUSION

La idea principal de este trabajo es que como alumnos aprendamos el concepto de

proposición, la forma en que se pueden formar proposiciones compuestas usando los
conectores lógicos, representar enunciados por medio de simbología lógica, conocer los
conceptos de tautología, equivalencia lógica, regla de inferencia. Realizar demostraciones de
teoremas por medio del método directo y contradicción. Pero con problemas que le sean
familiares e interesantes.
BIBLIOGRAFIA

 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&d
ocID=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&do
cID=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&do
cID=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 de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=21&do
cID=10345286&tm=1489708381971
 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