UNIVERSIDAD DE LAS FUERZAS ARMADAS - ESPE

CURSO DE NIVELACIÓN

Deber N° 1. Lógica Matemática

Fecha de entrega: Lunes 29 de octubre del 2018
1. Usando tablas de verdad demuestre que la proposición dada es una tautología

𝑝 → (𝑟 ∨∼ 𝑞) ⟷ (𝑞 ⟶∼ 𝑝) ∨ (∼ 𝑟 ⟶∼ 𝑝)

2. Verifique que la proposición: ~𝑝 ∧ (𝑞 ∨ 𝑟) es lógicamente equivalente a la

proposición (𝑝 ∨ 𝑟) ∧ 𝑞

3. Dadas las siguientes premisas:

p: Hoy es feriado
q: Mañana es día laborable
r: Voy a clase
Formalice la proposición: “No es verdad que, Hoy sea feriado y que no asista a clase.
Por lo tanto voy a clase“

4. Si la proposición ( p  q ) → ( q → r) , es falsa determine el valor de : p  r

5. Demuestre la equivalencia por leyes del álgebra de proposiciones (Leyes lógicas).

(𝑝 ∨∼ 𝑞) ∧ (𝑞 ∨ 𝑟) ∧ (𝑞 ∨∼ 𝑟) ↔ (𝑝 ∧ 𝑞)

6. Demuestre la validez del razonamiento utilizando reglas de inferencia.

1 ∼ (𝑝 ∨ 𝑠 ) → 𝑞
2𝑟 →𝑝
3𝑞 →𝑟
4∼𝑝
∴𝑠

7. Represente simbólicamente el enunciado: "Si no pago el arriendo, entonces me

pedirán el departamento. Y Si pago el arriendo, entonces me quedaré en quiebra o
pediré dinero. Y Si me quedo en quiebra y pido dinero, entonces no podré pagar el
préstamo, si y sólo si soy indisciplinado"
 UNIVERSIDAD DE LAS FUERZAS ARMADAS - ESPE
CURSO DE NIVELACIÓN

8. Sean p, q y r proposiciones mostrar mediante propiedades y justificando cada paso

que:
[(𝑝 ∧ 𝑞) ⇒ 𝑟] ≡ [(𝑝 ⇒ 𝑞) ⇒ (𝑝 ⇒ 𝑟)]

9. Demuestre la validez o no del razonamiento mediante reglas de inferencia.

a) 𝑃⟶𝑅
b) 𝑅⟶𝑆
c) 𝑇 ∨ ~𝑆
d) ~𝑇 ∨ 𝑈
e) ~𝑈
∴ ~𝑃

10. En las siguientes proposiciones compuestas, identifique las proposiciones simples y

los términos de enlace y luego escriba simbólicamente
a) A este perro grande no le gusta cazar gatos
b) La música no es muy suave o el equipo de sonido está dañado
c) Si es Felipe, juega vóley
d) O 𝑥 − 𝑦 = 7 y 𝑦 = 4, o 𝑥 = −3
e) Si 𝑥 + 𝑦 = 9 y 𝑥 = 3, 𝑦 = 6

11. ¿Qué puede concluir de las siguientes premisas? Exprese las proposiciones y las
conclusiones obtenidas mediante símbolos (p, q, r, …)
a) Si no nos despedimos ahora, entonces no cumpliremos nuestro plan. No nos
despedimos ahora.
b) Si esta planta no crece. Entonces o necesita más agua o necesita mejor abono.
Esta planta no crece
c) No ocurre que un quinto no es el veinte por ciento.
d) No es cierto que los gatos no tienen bigotes.
e) Si el agua se hiela, entonces sus moléculas forman cristales. Si las moléculas
forman cristales, entonces el agua aumenta de volumen.
12. Demuestre la validez de los siguientes razonamientos
a) 𝑞 ∨ 𝑡 a) 𝑥 > 3 ∨ 𝑦 ≥ 4 a) 𝑝 → 𝑞
b) 𝑞 → 𝑟 b) 𝑥 > 3 → 𝑥 > 𝑦 b) ∼ (𝑟 ∧ (∼
c) ∼ 𝑟 c) 𝑥 ≤ 𝑦 𝑠))
c) ∼ 𝑟 → 𝑝
d) ∼ 𝑠
 UNIVERSIDAD DE LAS FUERZAS ARMADAS - ESPE
CURSO DE NIVELACIÓN

Conclusión: 𝑡 ∨ Conclusión: 𝑦 ≥ 4 ∨ 𝑥 > Conclusión: 𝑞

𝑟 2

13. Traducir las siguientes proposiciones a la notación lógica de funciones

proposicionales y cuantificadores:
a) Sólo se admite socios
b) Los leones son carnívoros
c) En el ártico nunca se encuentran serpientes
14. ¿Qué conclusiones se deducen de las siguientes premisas?
a) Si el Ecuador explotara su propio petróleo, entonces el Ecuador tendría mayores
ingresos económicos.
El Ecuador explota su propio petróleo.
b) Si los estudiantes estudiaran para los exámenes, entonces los estudiantes tendrían
buenas notas.
Los estudiantes no tienen buenas notas.
15. Determine el valor de verdad de las siguientes proposiciones, y luego desarrolle su
negación
a) (∀𝑥 ∈ ℝ)(𝑥 + 4 ≥ 0) → (∃𝑥 ∈ ℝ)(2𝑥 − 5 < 0)
b) (∃𝑥 ∈ ℝ)(𝑥 2 − 𝑥 − 2 < 0) → (∀𝑥 ∈ ℝ)(𝑥 < 1)
c) (∀𝑥 ∈ ℝ)(𝑥 2 − 𝑥 − 2 < 0 → 𝑥 < 1)
16. Demuestre que la siguiente proposición es falsa. Luego niegue la proposición
(∀𝑥 ∈ ℝ)(6𝑥 2 − 𝑥 − 2 = 0 → 𝑥 > 0)
17. Mediante uso de los cuantificadores universal o existencial, transforme las siguientes
funciones proposicionales, en proposiciones. Coloque el valor de verdad y luego niegue
dicha proposición.
1
a) 𝑃(𝑥 ): 𝑥 + 1 =
2
b) 𝑄(𝑦): 𝑦 𝑓𝑢𝑒 𝑢𝑛 𝑝𝑟𝑒𝑠𝑖𝑑𝑒𝑛𝑡𝑒 𝑑𝑒 𝑙𝑎 𝑅𝑒𝑝ú𝑏𝑙𝑖𝑐𝑎 𝑑𝑒𝑙 𝐸𝑐𝑢𝑎𝑑𝑜𝑟
c) 𝑅 (𝑥, 𝑦): 𝑥 + 𝑦 = 𝑥
d) 𝑆(𝑥, 𝑦): 𝑥 + 𝑦 = 0
16. Sea 𝑃(𝑥 ): 𝑥 𝑒𝑠 𝑖𝑛𝑓𝑖𝑒𝑙, use los cuantificadores existencial y universal para expresar
las siguientes proposiciones.
a) Todos los hombres son infieles.
b) Ningún hombre es fiel.
c) Existe un hombre fiel.
d) Todos los hombres son fieles.