Proposiciones y conectivos lógicos

1. Determina si los siguientes enunciados son: proposiciones lógicas,

denótalas, si son simples o compuestas y si son verdaderas o falsas (valor
lógico) (Valor 10%).

• Un cubo tiene cinco caras

R= Verdadero/Simple
• El cuadrado es un polígono abierto y regular
R= Falso/Simple
• Ojalá llueva mañana
R= No es una proposición
• Elizabeth mide menos de 165 cm
R= Verdadero/Simple
• Felipe, podrías salir del salón
R= No es una proposición
• 3 + 11 = 14
R= Verdadero/Simple
• Sonora es una entidad federativa de México
R= Verdadero/Simple
• Los números naturales son divisibles por 5 o son números enteros
Positivos
R= Falso/Simple
• ¡Buenos días!
R= No es una proposición
• El cuadrado es un polígono abierto
R= Falso/Simple
• No es cierto que Roma es la capital de Italia
R= ¬ (p=Verdadero) = Falso/Compuesta
• 12 – 1= 9 ó 12 – 1=11
R= (p=Falso) v (q=Verdadero) = Verdadero/Compuesta
• 11 es menor que 3 y 5 es menor o igual que 11
R= (p=Falso) ^ (q=Verdadero) = Falso/Compuesta
• El triángulo tiene 3 lados y el cuadrado tiene 5 lados
R= (p=Verdadero) ^ (q=Falso) = Falso/Compuesta
2. Sean p y q las proposiciones siguientes (Valor 10%):
p : Hace frío
q : Llueve
Expresa cada una de las siguientes proposiciones como una frase:
a) ¬𝑝 = Hace calor
b) 𝑝 ∧ 𝑞 = Hace frio y llueve
c) 𝑝 ∨ 𝑞 = Hace frio o llueve
d) 𝑝 ∨ ¬𝑞 = Hace frio o no llueve
e) ¬𝑝 ∧ ¬𝑞 = No hace frio y tampoco llueve
f) ¬¬𝑞 = No es cierto que no lloverá
g) 𝑝 → 𝑞 = Hace frio entonces llueve
h) ¬𝑝 → ¬𝑞 = No hace frio entonces tampoco llueve

3. Una aseguradora permitirá a sus clientes la contratación de una póliza de

vida sólo si cumple con alguna de las siguientes condiciones (Valor 10%):
• Es de sexo femenino y es menor de 20 años.
R= (p=Verdad) ^ (q=Falso) = Falso
• Tiene más de 19 años y no está casado.
R= (p=Verdad) ^ ¬(q=Verdad) = Falso
• Tiene contratada una póliza de seguros de viaje, está casado y es de
sexo masculino.
R= (p=Verdadero) ^ (q=Verdadero) ^ (r=Verdadero) = Verdadero
• Tiene contratada una póliza de seguros de viaje, tiene menos de 20
años y está casado.
R= (p=Verdadero) ^ (q=Falso) ^ (r=Verdadero) = Falso
• No tiene contratada una póliza de seguros de viaje, no está casada y
es de sexo femenino.
R= ¬(p=Verdadero) ^ ¬(q=Verdadero) ^ (r=Verdadero) = Falso
Defina las proposiciones simples correspondientes y determine la
proposición compuesta para que el asegurado contrate una póliza de
vida.

4. Sean p, q y r las proposiciones siguientes (Valor 10%):

p : Has obtenido un sobresaliente en el examen final
q : Has hecho todos los ejercicios de este libro
r : Has obtenido un sobresaliente en esta asignatura
Escribe las siguientes proposiciones utilizando p, q y r y los
conectivos lógicos:
a. Has obtenido un sobresaliente en esta asignatura, pero no has hecho
todos los ejercicios de este libro.
R= r^q
b. Has hecho todos los ejercicios de este libro, has obtenido un
sobresaliente en esta asignatura y también el examen final.
R= q^r^p
 b. Para obtener un sobresaliente en esta asignatura, es necesario obtener un
sobresaliente en el examen final.
R= r→p
c. Conseguir un sobresaliente en el examen final y realizar todos los
ejercicios de este libro es suficiente para obtener un sobresaliente en esta
asignatura.
R= p^q→r

5. Determine el valor lógico de las siguientes expresiones sabiendo que p, s y

t son proposiciones verdaderas, mientras que q y r son proposiciones falsas
(Valor 10%):
a. ¬ (p ∧ (r ∨ ¬q)) = Falso
b. p ∨ (¬ q ∧ t ∧ r) = Verdadero
c. (¬p ∨ ¬ (q ∨ r)) ∧ s = Verdadero
d. ((¬r ∧ p) ∧ ¬ (¬q ∧ (s ∨ t))) = Falso
e. ((p ∨ ¬p) ∧ (q ∨ ¬ (t ∧ r))) = Verdadero
f. ((r ∧ ¬r) ∨ (¬s ∧ (¬t ∨ r))) = Falso

6. Escriba la negación de cada una de las siguientes proposiciones

verdaderas. (Para las partes a), b) y c), el universo es el de los enteros y
para los apartados d) y e), el universo es el de los reales) (Valor 10%).
a) Para todo entero 𝑛, si n no es divisible entre 2, entonces 𝑛 es
impar
R= Para todo entero 𝑛, si n es divisible entre 2, entonces 𝑛 es par
b) Si el cuadrado de un entero es impar, entonces el entero es impar
R= Si el cuadrado de un entero es par, entonces el entero es par
c) Si 𝑘, 𝑚 y n son enteros tales que 𝑘 - 𝑚 y 𝑚 - 𝑛 son impares,
entonces 𝑘 - 𝑛 es par
R= Si 𝑘, 𝑚 y n son enteros tales que 𝑘 - 𝑚 y 𝑚 - 𝑛 son pares,
entonces 𝑘 - 𝑛 es impar
d) Si 𝑥 es un número real tal que 𝑥2 > 16, entonces 𝑥 < 4 o 𝑥 > 4
R= Si 𝑥 es un número imaginario tal que 𝑥2 > 16, entonces 𝑥 < 4 o 𝑥
>4
e) Para todo número real 𝑥, si |𝑥 - 3| < 7, entonces -4 < 𝑥 < 10
R= Para todo número imaginario 𝑥, si |𝑥 - 3| < 7, entonces -4 < 𝑥 < 10

7. Sea p(𝑥) la función proposicional 𝑥2=2𝑥, donde el universo comprende

todos los enteros. Determine si cada una de las siguientes proposiciones es
verdadera o falsa (Valor 10%).
a) p(0)
R= Falso
b) p(1)
R= Verdadero
c) p(2)
R= Verdadero
d) p(-2)
 R= Falso

8. Completa la siguiente tabla de verdad para las proposiciones: q ∨ ¬r, ¬p y

¬p ∧ (q ∨ ¬r), donde V corresponde con el valor lógico verdadero y F con el
valor lógico falso (Valor 10%):

p q r ¬r q ∨ ¬r ¬p ¬p ∧ (q ∨
¬r)
V V V F V F F
V V F V V F F
V F V F F F F
V F F V V F F
F V V F V V V
F V F V V V V
F F V F F V F
F F F V V V V

9. Construye las tablas de verdad de cada una de las proposiciones siguientes

(Valor 20%):
a) p ∧ ¬p
b) p ∨ ¬p
c) [(p →q)∧p]→q
d) [(p →q)∧¬q]→¬p

p q r p ^ ¬p p v ¬p [(p→q)^p] →q [(p→q)^¬q] →¬p

V V V F V V F
V V F F V V F
V F V F V F F
V F F F V F F
F V V F V V V
F V F F V V V
F F V F V F V
F F F F V F V