LOGICA MATEMATICA - (90004A_611)

MARIA EMMA SANCHEZ MEDINA

PRESENTADO:
GUSTAVO SALAZAR CEDEÑO

90004_644

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

(UNAD)

NEIVA, HUILA
2019
El siguiente trabajo colaborativo pretende dar solución a los ejercicios
propuestos en la unidad 1-Conectivos lógicos y teoría de los conjuntos de
cursos de lógica matemática, Con todos los estudiantes participen activamente
y colaborativamente. De otra parte nos permite aprender sobre el tema
mediante el análisis, la comprensión y la interiorización de las lecturas y videos
Algo fundamental para el estudiante o aprendiz es saber comprender la guía
propuesta para alguna actividad, los temas de las unidades y las referencias
bibliográficas ya que gracias a estas podremos comprender mejor cada uno de
los temas propuestos.

OBJETIVOS GENERALES

Aprender temas tratados en la unidad 1 Conectivos lógicos y teoría de

conjuntos, a través del desarrollo de algunos ejercicios.

ESPECIFICOS

 Identificar conceptos básicos de la unidad.

 Resolver ejercicios de proposiciones del lenguaje natura al lenguaje
simbólico y viceversa.
 Realizar ejercicios para determinar el valor de la verdad.
 Realización de tablas de verdad y Verificaciones con el simulador de la
tabla de la verdad.

Solucionar ejercicios de lógica de conjuntos. Conectivos Lógicos y

Teoría de Conjuntos
Descripción del ejercicio:

A continuación, encontrará los argumentos para el desarrollo del

ejercicio 1:

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:

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é entonces Iván Duque es colombiano o Iván
Duque no es colombiano.

Valor de verdad proposiciones simples:

P: V

Q: V

R: F
Valor de verdad proposición compuesta:

[( p ∧ q ) → ¬ r] → ( p ∨ ¬ p )

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

( V ) →¬ F → (F)

V → F

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
(𝑞 ∧ 𝑟) → 𝑝
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:

(q∧r)→p
 (V∧V)→V
(V) → (V)
V

Conectivos Lógicos y Teoría de Conjuntos

Ejercicio 2: Tablas de verdad

Argumento:
Si tengo una moto y no tengo licencia; y los policías me paran entonces
me harán una multa
Proposición compuesta en lenguaje natural:

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.

Valor de verdad proposiciones simples:

P: Si Angélica chatea en su celular

Q: conduce por la autopista

R: Angélica tiene una alta probabilidad de accidentarse

S: Angélica puede dañar su automóvil

Lenguaje Simbólico:

(p ∧ q) → (r v s)
Tabla de verdad:

p q r s (p ∧ q) (r v s) (p ∧ q) → (r v 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
 Resultado de la tabla de verdad: CONTINGENCIA

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

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

Valor de verdad proposiciones simples:

P: Aprender matemáticas desarrolla el razonamiento lógico

Q: se posee una buena comprensión lectora

R: buena ortografía.
Lenguaje Simbólico:

(p↔q)∧r

Tabla de verdad:

p q r (p↔q) (p↔q)∧r
V V V V V
V V V V V
V V F V F
V V F V F
V F V F F
V F V F F
V F F F F
V F F F F
F V V V V
F V V V V
F V F V F
F V F V F
F F V V V
F F V V V
F F F V F
F F F V F
 Resultado de la tabla de verdad: INDETERMINACION

Tabla de verdad simulador lógica UNAD:

p q r s (p∨q)→(r∧s)
v v v v V
v v v f F
v v f v F
v v f f F
v f v v V
v f v f F
v f f v F
v f f f F
f v v v V
f v v f F
f v f v F
f v f f F
f f v v V
f f v f V
f f f v V
f f f f V

Conectivos Lógicos y Teoría de Conjuntos

Ejercicio 3: Teoría de Conjuntos:

Descripción del ejercicio

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

desarrollo del ejercicio 3.

a)

Definición de los conjuntos:

U= Números del 1 al 7.
A= {1, 2, 3,4}
B= {2, 3, 5, 6}
C= {3, 4, 6, 7}

Operación entre conjuntos (notación): UNION ENTRE CONJUNTOS

A U B = {1, 2, 3, 4, 5, 6}

Expresión en palabras:

La selección en el diagrama de Venn-Euler, corresponde a los números

naturales del 1 al 7.

C)

Definición de los conjuntos:

U= Profesores de la UNAD.
A= {Profesores de cálculo inferencial}
B= {Profesores de lógica matemática}
C= {Profesores de Algebra Ia, y Geometría analítica}

Operación entre conjuntos (notación): INTERSECCIÓN ENTRE

CONJUNTOS.

A Ո B= {Los profesores que no dirigen el curso de Álgebra o Lógica}

Expresión en palabras:

La selección en el diagrama de Venn-Euler, corresponde Los profesores

que dirigen los cursos de Lógica Matemática o Álgebra y Los profesores
que están Lógica Matemática y Álgebra.

Link del video: https://www.youtube.com/watch?v=0ONk8dCy-hA

Conectivos Lógicos y Teoría de Conjuntos

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

Descripción del ejercicio:

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

desarrollar el ejercicio 4.

a)

Definición de los conjuntos:

U= Números del 2 al 12.

A= {2, 4, 5, 8}
B= {3, 5, 6, 8}
C= {2, 3, 8, 12}
Operación entre conjuntos (notación):

 𝐴 ∪ 𝐵 = { 2, 3, 4, 5, 6, 8 } Unión de conjuntos
 𝐴 ∆ 𝐶 = {3, 4, 5, 6} Diferencia simétrica
 (𝐵 ∩ 𝐶) − 𝐴 = {3, 6, 12 } Intersección de conjuntos
 𝐴 ∩ 𝐵 ∩ 𝐶 = {2, 3, 5, 8} Intersección de conjuntos

Expresión en palabras:

La selección en el diagrama de Venn-Euler, corresponde a los números

naturales del 2 al 12.

b)

Definición de los conjuntos:

U= Números de la tabla del 1.

A= {6, 8, 12, 15}
B= {1, 4, 6, 12}
C= {4, 6, 8, 11}

Operación entre conjuntos (notación):

 𝐴 ∪ 𝐵 = { 1, 4, 6, 8, 12, 15 } Unión de conjuntos

 𝐴 ∆ 𝐶 = {1,4, 8, 15} Diferencia simétrica
  (𝐵 ∩ 𝐶) − 𝐴 = {1, 11} Intersección de conjuntos
 𝐴 ∩ 𝐵 ∩ 𝐶 = {1, 4, 11, 15} Intersección de conjuntos

Expresión en palabras:

La selección en el diagrama de Venn-Euler, corresponde a los múltiplos

del 1.

CONCLUSIÓN

Con el desarrollo de este trabajo colaborativo se cumple con los

objetivos se resuelven, se resuelven los ejercicios se centran para
poder analizar e interpretar un futuro temas desde la lógica
matemática. La presente actividad nos contribuyó a fortalecer y
aprender conceptos básicos y prácticos de la unidad de estudio,
también, el simulador Verdad Tabla nos aportó facilidades para la
verificación de los ejercicios de la tabla de la verdad.

REFERENCIAS BIBLIOGRÁFICAS

https://definicion.de/proposicion-matematica/

https://www.youtube.com/watch?v=ZYiblnqy7Ck

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

https://es.wikipedia.org/wiki/Intersecci%C3%B3n_de_co
njuntos

https://es.wikipedia.org/wiki/Diferencia_sim%C3%A9trica