LÓGICA MATEMÁTICA

TAREA 3: TEORIA DEL CONJUNTO

ELABORADO POR:

DENISE ISABEL VERONA TAMAYO

ANGEL ANDRES MORALES

VICTOR MANUEL LOPEZ

GRUPO:

90004_570

TUTOR:

EDGARDO ALEXANDER ESCORCIA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA-UNAD

17-10-2016
 INTRODUCCIÓN

La teoría de conjuntos es una rama de las matemáticas que estudia las propiedades
de los conjuntos: colecciones abstractas de objetos, consideradas como objetos en
sí mismas. Los conjuntos y sus operaciones más elementales son una herramienta
básica en la formulación de cualquier teoría matemática. Por su parte la lógica de
las proposiciones fue formulada a través del algebra de Boole, las cuales pueden
ser verdaderas o falsas, según las condiciones dadas; esta oración requiere ser
simple o compuesta, y al ser puesta bajo la última se debe formular unos conectivos
lógicos, para ser trascritos en una tabla de verdad exponiendo sus veracidades o
falsedades del caso y llegando a un resultado. El desarrollado de esta actividad
tiene como fin ampliar el conocimiento y desarrollo de teoría de conjuntos,
proposiciones simples y compuestas con sus respectivas tablas de verdad, también
comprender a fondo la metodología usada por la lógica matemática para resolver
situaciones reales.
OBJETIVOS

 Estudiar las técnicas lógicas para tablas de verdad.

 Utilizar razonamientos matemáticos lógicos para cualquier análisis.
 Aprender los análisis de conjuntos y demás operaciones lógicas.
 Aplicar conceptos lógicos en la vida cotidiana y profesional.
 Comprender el uso de la lógica en la vida cotidiana.
Tarea 1.

Proposiciones

Escriba la proposición compuesta propuesta en lenguaje natural y determine

su valor de verdad, a partir del valor de verdad de cada proposición simple:

a. 𝑝: 𝐸𝑙 𝑐𝑒𝑟𝑒𝑏𝑟𝑜 𝑐𝑜𝑛𝑡𝑟𝑜𝑙𝑎, 𝑟𝑒𝑔𝑢𝑙𝑎 𝑙𝑎𝑠 𝑎𝑐𝑐𝑖𝑜𝑛𝑒𝑠 𝑦 𝑟𝑒𝑎𝑐𝑐𝑖𝑜𝑛𝑒𝑠 𝑑𝑒𝑙 𝑐𝑢𝑒𝑟𝑝𝑜

𝑞: Soñar no cuesta nada 𝑒𝑠 𝑢𝑛𝑎 𝑝𝑒𝑙í𝑐𝑢𝑙𝑎 𝑑𝑒 𝑉í𝑐𝑡𝑜𝑟 𝐺𝑎𝑣𝑖𝑟𝑖𝑎

𝑟: 𝐿𝑎 ℎ𝑖𝑑𝑟𝑜𝑡𝑒𝑟𝑎𝑝𝑖𝑎 𝑢𝑡𝑖𝑙𝑖𝑧𝑎 𝑐𝑜𝑚𝑜 𝑎𝑔𝑒𝑛𝑡𝑒 𝑡𝑒𝑟𝑎𝑝é𝑢𝑡𝑖𝑐𝑜 𝑒𝑙 𝑐𝑎𝑙𝑜𝑟

¬𝒑 → (𝒒 ∨ ¬𝒓)

Lenguaje natural

No el celebro controla, regula las acciones y reacciones del cuerpo entonces

soñar no cuesta nada es una película de Víctor Gaviria o no la hidroterapia utiliza
como agente terapéutico el calor.

Valor de verdad

p: V

q: F

r: F

¬𝒑 → (𝒒 ∨ ¬𝒓)

V → (F V F)

V→V

V
B.

p: 𝐿𝑜𝑠 𝑝𝑟𝑖𝑚𝑒𝑟𝑜𝑠 𝑡é𝑟𝑚𝑖𝑛𝑜𝑠 𝑑𝑒 𝑙𝑎 𝑠𝑢𝑐𝑒𝑠𝑖o𝑛 𝑑𝑒 𝐹𝑖𝑏𝑜𝑛𝑎𝑐𝑐𝑖 𝑠𝑜𝑛 1, 1, 2, 3, 5, 8, 12

𝑞: El 36 tiene 9 divisores positivos

(𝒑 ∧ 𝒒) ∨ (¬𝒒)

Lenguaje natural

𝐿𝑜𝑠 𝑝𝑟𝑖𝑚𝑒𝑟𝑜𝑠 𝑡é𝑟𝑚𝑖𝑛𝑜𝑠 𝑑𝑒 𝑙𝑎 𝑠𝑢𝑐𝑒𝑠𝑖ó𝑛 𝑑𝑒 𝐹𝑖𝑏𝑜𝑛𝑎𝑐𝑐𝑖 𝑠𝑜𝑛 1, 1, 2, 3, 5, 8, 12 Y El 36

tiene 9 divisores positivos O NO ES CIERTO QUE El 36 tiene 9 divisores
positivos.

Valor de verdad

P=F

q=v

(𝒑 ∧ 𝒒) ∨ (¬𝒒)

(f ∧ v) ∨ (f)

F ∨ f

c. 𝑝: 2 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑟𝑖𝑚𝑜

𝑞: 𝑇𝑜𝑑𝑜𝑠 𝑙𝑜𝑠 𝑛ú𝑚𝑒𝑟𝑜𝑠 𝑒𝑛𝑡𝑒𝑟𝑜𝑠 𝑠𝑜𝑛 𝑛ú𝑚𝑒𝑟𝑜𝑠 𝑛𝑎𝑡𝑢𝑟𝑎𝑙𝑒𝑠

𝑟: 𝐿𝑜𝑠 𝑛ú𝑚𝑒𝑟𝑜𝑠 𝑖𝑚𝑝𝑎𝑟𝑒𝑠 𝑠𝑜𝑛 𝑛ú𝑚𝑒𝑟𝑜𝑠 𝑝𝑟𝑖𝑚𝑜𝑠

¬[(𝒑 ↔ 𝒒) ∧ (𝒓 ∨ 𝒑)]
Lenguaje natural

No 2 es un numero primo si y solo si todos los números enteros son números

naturales y los números impares son números primos y 2 es un numero primo.

p: v

q: v

r: f

¬[(𝒑 ↔ 𝒒) ∧ (𝒓 ∨ 𝒑)]

(V ↔V) ∧ (F ∨ V)

V ∧ F

d. 𝑝: 𝐿𝑜𝑠 𝑎𝑙𝑔𝑜𝑟𝑖𝑡𝑚𝑜𝑠 𝑠𝑜𝑛 𝑙𝑜𝑠 𝑝𝑎𝑠𝑜𝑠 𝑜𝑟𝑑𝑒𝑛𝑎𝑑𝑜𝑠 𝑝𝑎𝑟𝑎 𝑙𝑎 𝑠𝑜𝑙𝑢𝑐𝑖ó𝑛 𝑑𝑒 𝑢𝑛 𝑝𝑟𝑜𝑏𝑙𝑒𝑚𝑎

𝑞: 𝐸𝑥𝑐𝑒𝑙 𝑒𝑠 𝑢𝑛 𝑝𝑟𝑜𝑐𝑒𝑠𝑎𝑑𝑜𝑟 𝑑𝑒 𝑡𝑒𝑥𝑡𝑜

𝑟: 𝑆𝑘𝑦𝑝𝑒 𝑒𝑠 𝑢𝑛𝑎 ℎ𝑒𝑟𝑟𝑚𝑖𝑒𝑛𝑡𝑎 𝑠𝑖𝑛𝑐𝑟ó𝑛𝑖𝑐𝑎.

(¬𝒒 ↔ 𝒓) ∧ (𝒑 → 𝒓)

LENGUAJE NATURAL.

No Excel es un procesador de textos si y sólo si Skype es una herramienta

sincrónica y los algoritmos son los pasos ordenados para la solución de un
problema si…entonces Skype es una herramienta sincrónica.
VALOR DE VERDAD

p: V

q: F

r: V

(¬𝒒 ↔ 𝒓) ∧ (𝒑 → 𝒓)

F↔V ∧ V →V

F ∧ V

e). 𝑝: 𝐸𝑙 𝑐𝑢𝑒𝑟𝑝𝑜 ℎ𝑢𝑚𝑎𝑛𝑜 𝑒𝑠𝑡á 𝑐𝑜𝑛𝑓𝑜𝑟𝑚𝑎𝑑𝑜 𝑝𝑜𝑟 121 ℎ𝑢𝑒𝑠𝑜𝑠

𝑞: 𝐸𝑙 ℎ𝑢𝑚𝑒𝑟𝑜 𝑒𝑠 𝑢𝑛 ℎ𝑢𝑒𝑠𝑜 𝑢𝑏𝑖𝑐𝑎𝑑𝑜 𝑒𝑛 𝑒𝑙 𝑏𝑟𝑎𝑧𝑜 𝑑𝑒𝑙 𝑐𝑢𝑒𝑟𝑝𝑜 ℎ𝑢𝑚𝑎𝑛𝑜

𝑟: 𝐸𝑙 𝑦𝑢𝑚𝑞𝑢𝑒 𝑒𝑠 ℎ𝑢𝑒𝑠𝑜 𝑚á𝑠 𝑙𝑎𝑟𝑔𝑜 𝑑𝑒𝑙 𝑠𝑒r ℎ𝑢𝑚𝑎𝑛𝑜

(𝒑 ∧ 𝒓) ∨ (¬𝒓 → 𝒒)

Lenguaje natural

El cuerpo humano está conformado por 121 huesos y el yunque es hueso más
largo del ser humano o no es cierto que el yunque es hueso más largo del ser
humano entonces el humero es un hueso ubicado en el brazo del cuerpo
humano

Valor de verdad

p: F

q: V

r: F

(𝒑 ∧ 𝒓) ∨ (¬𝒓 → 𝒒)

F∧F ∨ V →V
 F V V

Tarea 2: Tablas de verdad

Cada solución de los siguientes enunciados debe contar con las siguientes
etapas:

 Expresión en lenguaje simbólico.

 Desarrollo mediante tablas de verdad
 Uso del simulador Truth Table.

a. No puedes dañar a un ser humano o permitir que sufra daño si eres un

robot.
• Expresión en lenguaje simbólico
p: puedes dañar a un ser humano
q: permitir que sufra daño
r: eres un robot

r → (¬𝒑 ∨ q)

r p q r → (¬𝒑 ∨ q)

v v v v

v v f f

v f v v

v f f v

f v v v

f v f v

f f v v

f f f v
 Tabla de Truth Table

p q r (¬𝒑∨q)→r

T T T T

T T F F

T F T T

T F F T

F T T T

F T F F

F F T T

F F F F

b: O trabajas en la obra y eres ingeniero o trabajas en el campo y eres

agrónomo.

 Expresión en lenguaje simbólico

p: Trabajas en la obra
q: eres ingeniero
r: Trabajas en el campo y eres agrónomo
(¬𝒑 ∨ q) →r

Tabla de verdad
p q r ¬𝒑 (¬𝒑∨q) (¬𝒑∨q)→r

v v v f v v

v f v f f v

v v f f v f
 f v v v v v

f f v v v v

v f f f f v

f v f v v f

f f f v v f

Tabla de Truth Table.

p q r (¬𝒑∨q)→r

T T T T

T T F F

T F T T

T F F T

F T T T

F T F F

F F T T

F F F F

c. Si quieres progresar debes estudiar y ahorrar para el futuro.

p=si quieres progresar

q=debes estudiar

r= debes ahorrar para el futuro

p → (q Λ r)

Tabla de verdad

P q R (q Λ p →(q Λ
r) 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
D. Los habitantes del campo progresan si y solo si tienen servicios públicos
y una vivienda adecuada.

 Expresión en lenguaje simbólico

p: los habitantes del campo progresan
q: si tienen servicios públicos
r: una vivienda adecuada

p ↔ (q Λ r)

Tabla de verdad

p q r q∧r p↔(q∧r)
V V V V V
V V F V F
V f V F F
V F F F F
F V V F F
F V F F V
f F V V V
f f f V V
Tarea 3: Teoría de Conjuntos Consideremos eventos que se pueden
representar por medio de un conjunto:

𝑈 = {𝐴𝑢𝑡𝑜𝑠 𝑑𝑒 𝑢𝑛𝑎 𝑎𝑔𝑒𝑛𝑐𝑖𝑎}

𝑇 = {𝐴𝑢𝑡𝑜𝑠 𝑐𝑜𝑛 𝑡𝑟𝑎𝑛𝑠𝑚𝑖𝑠𝑖ó𝑛 𝑎𝑢𝑡𝑜𝑚á𝑡𝑖𝑐𝑎}

𝐶 = {𝐴𝑢𝑡𝑜𝑠 𝑐𝑜𝑛 𝑐𝑙𝑖𝑚𝑎}

𝐴 = {𝐴𝑢𝑡𝑜𝑠 𝑐𝑜𝑛 𝑎𝑢𝑡𝑜𝑒𝑠𝑡é𝑟𝑒𝑜}

Estos conjuntos se representan en un diagrama:

a: Autos con transmisión Automática y clima

T∩C

b: Autos con transmisión automática pero no tienen clima, ni auto estéreo

 T - (C U A)

c: Autos que no tenían Auto estéreo, ni clima, ni transmisión automática.

U-(T U C U A)
d: Autos con climas y Auto estéreo

C∩A

e: Auto con transmisión automática, clima o Auto estéreo

(T U C U A)

(T U C)-(T U A)
 CONCLUSIÓN

La lógica es una de las principales herramientas para concluir si lo afirmado es

verdadero o falso según las condiciones dadas para el postulado. La construcción
de lo que pensamos y descubrimos ha dado origen a la lógica, permitiendo dar
resultados concretos, según sea la veracidad o falsedad del caso. Las que son
afirmaciones no son proposiciones dado que no se pueden ver como falso o
negativo lo que se afirma no proposición.
 REFERENCIAS

http://es.wikipedia.org/wiki/Teor%C3%ADa_de_conjuntos

https://www.google.com.co/webhp?sourceid=chrome-
instant&ion=1&espv=2&ie=UTF-8

http://logicmathematical.blogspot.com.co/p/objetivos.html

https://es.wikipedia.org/wiki/L%C3%B3gica_proposicional

https://www.google.com.co/search?q=signos+de+proposiciones&tbm=isch&
tbo=u&source=univ&sa=X&ved=0ahUKEwjdwLWV6uLPAhUD6iYKHaguBKY
QsAQILg&biw=1366&bih=662#

https://es.wikipedia.org/wiki/Tabla_de_verdad