Lógica matemática y conjuntos

Omar Andrés Gutiérrez Díaz

Bogotá DC

15 de septiembre de 2023

Universidad iberoamericana

Matemáticas básicas
1. Lógica

1) Para describir los diversos restaurantes de la ciudad, denotemos con p “la comida es

buena” ; con q “el servicio es bueno” y con r “es de tres estrellas”. Escribir simbólicamente

las siguientes proposiciones :

a) La comida es buena o el servicio es bueno, o ambas cosas

p˅q

b) La comida es buena o el servicio es bueno, pero no ambas cosas.

˜(p ↔ q)

c) La comida es buena y el servicio no.

˜p ˄ ˜q

d) No sucede que tanto la comida sea buena como que el restaurante sea de tres estrellas

˜(p ˄ q)

e) Si tanto la comida como el servicio son buenos, entonces el restaurante es de tres estrellas

(p ˄ q) → r

f) No es cierto que ser de tres estrellas siempre signifique buena comida y buen servicio.

˜ [r →(p ˄ q)]

2) Denotemos con p “el clima es agradable” y con q “vamos de día de campo”. Traducir las

siguientes proposiciones al lenguaje coloquial y, si es posible, simplificar :

a) p ∧ q
el clima es agradable y vamos de día de campo

b) p ⇔ q

el clima es agradable si y solo si vamos de día de campo

c) p ⇔ (p ∨ q)

el clima es agradable si solo si el clima es agradable o vamos de día de campo

3) Construir las tablas de verdad de los siguientes esquemas proposicionales :

a) (p ∨ q) ∨ p

p q p˅q (p ˅ q) ˅ p
v v v v
v f v v
f v v v
f f f f

b) (p ∨ q) ⇒ p

p q p˅q (p ∨ q) ⇒ p
v v v v
v f v v
f v v f
f f f v

c) p ⇔ (p ∨ q)

p q p˅q p ⇔ (p ∨
q)
v v v v
v f v v
f v v f
 f f f v
d) (q ⇒ p) ⇒ (p ⇒ q)

p q q⇒p p⇒q (q ⇒ p) ⇒ (p ⇒
q)
v v v v v
v f v f f
f v f v v
f f v v v

e) (p ∧ q) ∨ (∼ r)

p q r p∧q ˜r (p ∧ q) ∨ (∼ r)
v v v v f v
v v f v v v
v f v f f f
v f f f v v
f v v f f f
f v f f v v
f f v f f f
f f f f v v

f) ∼ (r ⇒ r)

r r r⇒r ∼ (r ⇒ r)

v v v f
f f v f

4) Los valores de verdad de las proposiciones p ; q ; r y s son respectivamente V ; F ; F y V.

Obtener los valores de verdad de :

a) [(p ∨ q) ∨ r] ∧ s

p q r s p∨q [(p ∨ q) ∨ r] [(p ∨ q) ∨ r] ∧ s

v f f v v v v
b) r ⇒ (s ∧ p)

p r s s∧p r ⇒ (s ∧ p)
v f v v v

c) (p ∨ r) ⇔ (r ∧ ∼ s)

p r s ˜s p∨r r∧∼s (p ∨ r) ⇔ (r ∧ ∼ s)
v f v f v f f

5) Determinar en cada caso si la información que se da es suficiente para conocer el valor de

verdad de las siguientes proposiciones compuestas. En caso afirmativo, justificarlo.

a) (p ⇒ q) ⇒ r ; r es V

p q r p⇒q (p ⇒ q) ⇒ r
v v v v v
v v v v v
v f v f v
v f v f v
f v v v v
f v v v v
f f v v v
f f v v v

b) (p ∨ q) ⇔ (∼ p ∧ ∼ q) ; q es V

p q p∨q ˜p ˜q (∼ p ∧ ∼ q (p ∨ q) ⇔ (∼ p ∧ ∼ q)
v v v f f f f
v v v f f f f
f v v v f f f
f v v v f f F

2. conjuntos
10) Escribir simbólicamente :

a) R es un subconjunto de T

T⊆R

b) x es un elemento de Y

X∈Y

c) El conjunto vacío

d) M no es un subconjunto de S

S⊈M

e) z no pertenece a A

z∈A

f) R pertenece a A

R∈A

12) Escribir por comprensión los siguientes conjuntos :

A = { 1, 2, 4, 8, 16,...}

A = { x/x *2 comenzando desde 1, x∈ n}

B = { 1, 3, 5, 7, 9, .... }

B = { x/x es un numero impar , x∈ n }

D = {1, 4, 9, 16, 25, 36}

D = { x 2/, x∈ n ∧ 1 ≤ x ≤ 36 ,}

13) Escribir por extensión los siguientes conjuntos definidos por comprensión :

A = { x / x ∈ N ∧ 3 ≤ x ≤ 10 }

A = {3,4,5,6,7,8,9,10}

B={ x / x ∈ N ∧ 5 / x}

B={5,10,15,20,25…}

16) Determine si los conjuntos dados son vacíos:

A) X = {x : x 2 9 ˄2x = 4 }

al contener elementos no es un conjunto vacio

B) Y = { x : x ≠ x }

Y = CONJUNTO VACIO Ø

C) Z = { x : x + 8 = 8 }

x = 8-8

x=0

Z = CONJUNTO VACIO Ø

17) ¿ Cuales de los conjuntos siguientes son finitos ?

a) Los meses del año

finito

b) {1, 2, 3, . . . ., 99, 100}

finito

c) El número de personas que viven en la tierra.

finito

d El conjunto Q de los números racionales

infinito

e) El conjunto R de los números reales

infinito

3 LOGICA SIMBOLICA

1) Denotemos con p “el material es interesante” ; con q “los ejercicios son difíciles” y con r

“el curso es agradable”. Escribir las siguientes afirmaciones en forma simbólica :

a) el material es interesante y los ejercicios son difíciles

p˄q

b) el material no es interesante, los ejercicios no son difíciles y el curso no es agradable.

(∼ p ∼ q) ˄ (∼ r)

c) Si el material no es interesante y los ejercicios no son difíciles entonces el curso no es

agradable.

(∼ p ∼ q) → (∼ r)
d) Que el material sea interesante significa que los ejercicios son difíciles y viceversa

P↔q

e) O el material es interesante o los ejercicios no son difíciles pero no ambas cosas.

p↔∼q

2) Escribir las siguientes afirmaciones en forma simbólica :

a) El sol brilla y la humedad no es alta

a = el sol brilla , b = la humedad no es alta

a˄b

b) Si termino mi tarea antes de la cena y no llueve, entonces iré al partido de fútbol

a = si termino mi tarea antes de la cena , b= no llueve, c = entonces ire al partido de futbol

(a ˄ b )→c

c) Si no me ves mañana significa que habré ido a la playa

a= verme mañana, b= ir a la playa

˜a → b

d) Si el costo de las utilidades crece o se niega la requisición de fondos los adicionales, entonces

compraremos una nueva computadora si y solo si podemos mostrar que los recursos de cómputo

son, en efecto, insuficientes.

a=si el costo de las utilidades crece b= se niega la requisición de fondos adicionales

c=compraremos una nueva computadora d=podemos mostrar que los recursos de cómputo

son efecto suficientes

[(a ˅ b) →c]↔d

7) Los valores de verdad de las proposiciones p ; q ; r y s son respectivamente : V ; F ; F y V. Obtener

los valores de verdad de :

a) [ (p ∧ q) ∧ r] ∨ s

p q r s p∧q [ (p ∧ q) ∧ r] [ (p ∧ q) ∧ r] ∨ s

v f f v f f v

[ (p ∧ q) ∧ r] ∨ s =

b) (r ⇒ s) ∨ (p ⇒ s)

r s p r⇒s p⇒s (r ⇒ s) ∨ (p ⇒ s)
f v v v v v

(r ⇒ s) ∨ (p ⇒ s)=v

c) (s ∧ q) ⇒ p

s q p (s ∧ q) (s ∧ q) ⇒ p

v f v f v

(s ∧ q) ⇒ p =v

8) Demuestre por tablas de verdad las siguientes leyes :

a) [ (p ∨ q) ∧ q ] ⇒ q
 p q p∨q [ (p ∨ q) ∧ q ] [ (p ∨ q) ∧ q ] ⇒ q
v v v v v
v f v f v
f v v v v
f f f f v

b) ∼(p ∧ q) ⇔ ∼p ∨ ∼q

p q p∧q ∼(p ∧ q) ∼p ∼q ∼p ∨ ∼q ∼(p ∧ q) ⇔ ∼p ∨ ∼q

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

c) ∼(p ∨ q) ⇔ ∼p ∧ ∼q

p q p∨q ∼(p ∧ q) ∼p ∼q ∼p ∧ ∼q ∼(p ∧ q) ⇔ ∼p ∧ ∼q

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

10) Cierto país está habitado por personas que siempre dicen la verdad o que siempre mienten, y

que responderán preguntas solo con “si” o “no”. Un turista llega a una bifurcación en el camino, una

de cuyas ramas conduce a la Capital y la otra no. No hay un letrero que diga qué camino seguir, pero

hay un nativo, el señor z, parado en la bifurcación. ¿ Qué única pregunta deberá hacerle el turista

para determinar qué camino seguir?

Respuesta = si yo le preguntara si este camino lleva a la ciudad, ¿ usted que me respondería ?