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

Natali Alvarado García

Marzo 2019.

Universidad Abierta y a Distancia UNAD.

ECAPMA, Agronomía.

Lógica Matemática

Grupo 855
 Introducción

En el presente trabajo se encontrará la solución a una serie de ejercicios planteados,

aplicando conceptos propios de la lógica matemática, tales como conectivos lógicos, cálculo

proposicional, álgebra de proposiciones, tablas de verdad y conceptos propios de la teoría de

conjuntos.

Se presentan ejemplos de proposiciones simples y compuestas, valores de verdad en

proposiciones simples y compuestas, tablas de verdad, diagrama de Venn Euler y operaciones

entre conjuntos.
 Objetivos

General:

- Interpretar y solucionar problemas contextualizados, aplicando los conceptos propios del

cálculo proposicional y la teoría de conjuntos.

Específicos:

- Identificar preposiciones simples y compuestas.

- Identificar y aplicar los conectores lógicos.

- Redactar preposiciones compuestas en lenguaje natural y formal.

- Determinar los valores de verdad de preposiciones simples y compuestas.

- Generar tablas de verdad y determinar su resultado.

- Identificar y solucionar las operaciones entre conjuntos.

- Representar mediante diagrama de Veen Euler las operaciones entre conjuntos.

- Interpretar diagramas de Veen Euler.

- Utilizar las herramientas de práctica, disponibles en el entorno de conocimiento.

- Demostrar a través de la sustentación los conocimientos adquiridos.

Ejercicio 1: Proposiciones

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é

[(𝑝 ∧ 𝑞) → ¬𝑟] → (𝑝 ∨ ¬𝑝)

Proposición compuesta 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é. Por lo tanto Iván Duque es
colombiano o Iván Duque no es colombiano.

Valor de verdad proposiciones simples:

p: V

q: F

r: F

Valor de verdad proposición compuesta:

[(𝑝 ∧ 𝑞) → ¬𝑟] → (𝑝 ∨ ¬𝑝)

[(V∧F) →V] → (V∨F)

[(F) →V] → (V)

V→ V

Ejercicio 2: Tablas de la verdad

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.
  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 manualmente a partir del lenguaje simbólico y determinar si
el resultado es una tautología, contingencia contradicción.

24 =16

1 2
p q r s 1→2
(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

 El Resultado de la tabla de la verdad: CONTINGENCIA.

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico
 Ejercicio 3: Teoría de conjuntos

a)

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

U= Números naturales menores que 10.

A= Números pares menores que 10.

B= Números primos menores que 10.

C= Números impares menores que 10.

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

seleccionado (notación entre conjuntos).

Diferencia Simétrica

A Δ B = {X / X ∈ A, V, X ∈ B, ∧, X ∉ A ∩ B}

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

La selección en el diagrama de Venn Euler, corresponde a los números pares menores que 10 y

números primos menores que 10, que no sean pares y primos al mismo tiempo.

 Realizar un vídeo donde explique la forma como fue desarrollada la

 tarea.

Link del video: https://www.useloom.com/share/aaeb409870cf40ada79b326542fef564

Ejercicio 4: Aplicación de la Teoría de Conjuntos

a)

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

U= Clientes frecuentes que cenan los lunes en el Restaurante Montana.

A= Clientes que cenan sopas.

B= Clientes que cenan ensaladas de frutas.

C= Clientes que cenan comida rápida.

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

1. 𝐴∪𝐵

2. 𝐴Δ𝐶

3. (𝐵 ∩ 𝐶) − 𝐴

4. 𝐴 ∩ 𝐵 ∩ 𝐶

Se aplicó una encuesta a los clientes frecuentes del Restaurante Montana en Villavicencio, con el

fin de determinar su selección de comida los días lunes, a la hora de cenar.

1. 𝐴 ∪ 𝐵 = 4+2+5+8+6+3= 28

Operación en palabras: Clientes que los lunes cenan sopas o ensaladas de frutas.

2. 𝐴 Δ 𝐶 = 4+5+3+12= 24

Operación en palabras: Clientes que los lunes cenan sopas o cenan comida rápida, pero no las

dos.
 3. (𝐵 ∩ 𝐶) – 𝐴= (8+3) -8= 3

Operación en palabras: Los clientes que los lunes cenan ensaladas de frutas y comida

rápida, pero no cenan sopas.

4. 𝐴 ∩ 𝐵 ∩ 𝐶 = 8

Operación en palabras: Los clientes que los lunes cenan sopas y ensaladas de frutas y

comida rápida.
 Conclusiones

Una preposición es toda expresión verbal, enunciado o discurso del cual se puede afirmar,

inequívocamente, que es verdadero o falso, pero no ambas cosas a la vez. Las preposiciones se

pueden escribir en lenguaje natural o en lenguaje formal, representándose simbólicamente

mediante letras minúsculas del alfabeto y símbolos. Una preposición compuesta se logra uniendo

mediante conectores lógicos, varias preposiciones simples. Los conectores lógicos son y

(conjunción), o (disyunción), no (negación), si…entonces (condicional), si y sólo si

(bicondicional).

Las tablas de verdad sirven para determinar los valores de verdad de las preposiciones

compuestas, las cuales dependen de los conectivos lógicos utilizados y los valores de verdad de

las preposiciones simples que la componen. El resultado de una tabla de verdad puede ser una

tautología (resultados verdaderos), una contradicción (resultados falsos), o una contingencia

(resultados falsos y verdaderos).

Los conjuntos y las operaciones entre ellos, se representan a través de diagramas de Veen

Euler. Las operaciones entre conjuntos son la Unión (U), la intersección (∩), complementación ('

o c), diferencia (-) y diferencia simétrica (Δ).

 Referencias

Rodríguez, J.E. (2017, febrero 28). OVI: Unidad 1 Principios de Lógica. [Archivo de video].

Recuperado de: https://www.youtube.com/watch?time_continue=4&v=8FxBWZJ-Qg0

Gómez, T. (2017, junio 2). Paso 2 Tatiana Gómez. [Archivo de video]. Recuperado de:

https://www.youtube.com/watch?time_continue=1&v=vgopDwD8COU

Castaño G, C. (2017, mayo 26). Teoría de conjuntos. [Archivo de video]. Recuperado de:

https://www.youtube.com/watch?time_continue=2&v=VDgs6ysTojU

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

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