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

p→ (r∨∼q) ⟷ (q⟶∼p) ⋁ (∼r⟶∼p)

2. Verifique que la proposición: ˜p∧ (q∨r) es lógicamente equivalente a la

proposición (p∨r) ∧q

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).

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

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

1 ~ (p∨s) →q
2 r →p
3 q →r
4 ∼p
∴s

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
 UNIVERSIDAD DE LAS FUERZAS ARMADAS - ESPE
CURSO DE NIVELACIÓN

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"

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

que:
[(p∧q) ⇒r] ≡ [(p⇒q) ⇒ (p⇒r)]

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

a) P ⟶R
b) R⟶S
c) T ∨ ˜S
d) ˜T ∨ U
e) ˜U
∴˜P

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 x − y = 7 y y = 4 , o x =− 3
e) Si x + y = 9 y x = 3 , y = 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.
 UNIVERSIDAD DE LAS FUERZAS ARMADAS - ESPE
CURSO DE NIVELACIÓN

12. Demuestre la validez de los siguientes razonamientos

a) q ∨t a) x > 3∨y≥4 a) p→q
b) q →r b) x > 3→x > y b) ~ (r∧ (∼s))
c) ∼r c) x≤y c) ∼r→p
d) ∼s

Conclusión: Conclusión: y ≥4 ∨x > 2 Conclusión: q

t∨r

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) (∀x∈R) (x + 4≥0) → (∃x∈R) (2x − 5 < 0)
b) (∃x∈R) (x2 − x − 2 < 0) → (∀x∈R) (x < 1)
c) (∀x∈R) (x2 − x − 2 < 0→x < 1)
16. Demuestre que la siguiente proposición es falsa. Luego niegue la proposición
(∀x∈R) (6x2 − x − 2 = 0→x > 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) P (x) : x + 1 = 2
b) Q (y) : y f ue un presidente de la República del Ecuador
 UNIVERSIDAD DE LAS FUERZAS ARMADAS - ESPE
CURSO DE NIVELACIÓN

c) R (x, y ) : x + y = x
d) S (x, y ) : x + y = 0
16. Sea P (x) : x es inf iel , 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.