LÓGICA MATEMÁTICA

Presentado por:

CESAR AUGUSTO NAVARRO VERJEL

Grupo:

90004_69

Tutor

NORBERTO ALEJANDRO VASQUEZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

MAYO DEL 2020

Ejercicio 1

P= El Deportes Tolima fue campeón en el 2003 como en el 2018.

Q=En el 2003 Tolima le gano la final a Cali de local

R=En el 2018 Tolima le gano la final a Nacional de visitante.

[ ( p ˅q ) → r ] ↔ ( r ˄ p)

Proposición:
El Deportes Tolima fue campeón en el 2003 como en el 2018 Ó En el 2003 Tolima le

gano la final a Cali de local ENTONCES En el 2018 Tolima le gano la final a Nacional

de visitante SI Y SOLO SI En el 2018 Tolima NO le gano la final a Nacional de visitante

Y El Deportes Tolima NO fue campeón en el 2003 como en el 2018

Valor de verdad proposiciones simples

P= (VERDAD)

Q= (FALSO)

R= (VERDAD)

Valor de verdad proposición compuesta

[ ( p ˅q ) → r ] ↔ ( r ˄ p)
[(V ˅ F )→ V ]↔ ( V˄ V)
[V →V ]↔(F˄ F)
V ↔F
F
Por lo tanto la proposición es FALSA
Ejercicio 2
Si el uso de computador es muy básico en la UNAD y Juan no tiene computador,

entonces, tendrá dificultad para estudiar o irá al CEAD más cercano para usar los que

la universidad le ofrece.

Proposiciones simples
P= El uso de computador es muy básico en la UNAD
Q= Juan no tiene computador
R= Tendrá dificultad para estudiar
S= Irá al CEAD más cercano para usar los que la universidad le ofrece.

Lenguaje simbólico
( p ˄q ) → ( r ˅s )

Tabla de verdad con el simulador:

Tabla de verdad hecha a mano:
p q r s
V V V V
V V V F
V V F V
V V F F
V F V V
V F V F
V F F V
V F F F
F V V V
F V V F
F V F V
F V F F
F F V V
F F V F
F F F V
F F F F
( p ˄q ) → ( r ˅s )
Podemos separar la proposición compuesta en 2 partes:
 p q  ( p ˄q ) r s  ( r ˅ s )
V V V V V V
V V V V F V
V V V F V V
V V V F F F
V F F V V V
V F F V F V
V F F F V V
V F F F F F
F V F V V V
F V F V F V
F V F F V V
F V F F F F
F F F V V V
F F F V F V
F F F F V V
F F F F F F

Uniendo el valor de verdad de ambas tablas, vemos que la expresión será falsa
únicamente cuando el lado izquierdo de la expresión sea verdadera y el lado derecho
sea falsa, resolviendo esto nos da de la siguiente manera
 ( p ˄q )  ( r ˅ s )  ( p ˄q ) → ( r ˅s )
V V V
V V V
V V V
V F F
F V V
F V V
F V V
F F V
F V V
F V V
F V V
F F V
F V V
F V V
F V V
F F V

Y esto corresponde al resultado dado en la simulación

Ejercicio 3

U : Estudiantesde administracion
A : Estudiantes que aprobaron economia
B: Estudiantes que aprobaronlogica matematica
C : Estudiantes que aprobaron antropologia
Notación entre conjuntos

( B− A )−C

Notación en palabras
Los estudiantes que únicamente aprobaron lógica matemática.

Ejercicio 4

Cantidad de estudiantes: 234

U : Estudiantes de administracion
A : Estudiantes que aprobaron economia
B: Estudiantes que aprobaronlogica matematica
C : Estudiantes que aprobaron antropologia

( A ∩C )−B
A∆ B
( B∩ C )C
B−( A ∩ B ∩C )

¿Cuantos estudiantes aprobaron economia y antropologia pero no logica matematica?

( A ∩C )−B
Respuesta: 49

¿Cuántos estudiantes aprobaron economia o logica matematica?

A∆ B
Respuesta: 153

¿Cuántos estudiantes no aprobaron lógica matemática y antropología?

( B∩ C )C
Respuesta: 178

¿Cuántos estudiantes aprobaron lógica matemática pero no las tres asignaturas?

B−( A ∩ B ∩C )
Respuesta: 87

REFERENCIAS
[1] Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de

álgebra lineal. Volumen I: conjuntos numéricos, complementos. (pp. 19-28)

[2] Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de

álgebra lineal. Volumen I: conjuntos numéricos, complementos. (pp. 19-28)

[3] Sánchez, H. R. (2014). Álgebra. México, D.F., México: Larousse - Grupo Editorial Patria.

(pp. 2- 30).

[4] 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).