Universidad Nacional Mayor de San Marcos

Facultad de Ingeniería Electrónica y Eléctrica

Álgebra y Geometría Analítica

1. Determinar cuáles de los siguientes enunciados son proposiciones

a) 5+7 = 16−4.

b) 3×6 = 15+1 y 4−2 ̸= 23×5

c) ¿El silencio es fundamental para estudiar?

d) ¡Estudia lógica simbólica!
e) Nosotros estudiamos en la Universidad Nacional Mayor de San Marcos.
2. Determine cuáles de los siguientes enunciados son enunciados abiertos

a) x es hermano de y
b) 28 < 15

c) x+y+z̸= 1

d) 9x+3 > 12

e) Tenga calma, no sea impaciente.

3. ¿Cuáles de las siguientes proposiciones son verdaderas y cuáles son falsas?

a) Si 3+3 = 6, entonces 4 = 4.

b) Si 2 = 3 entonces 8 es un número primo.

c) Si 19−7 = 3, entonces 4(5+3) = 32

d) Si 5(7) = 35, entonces 10−3 = 13.

e) Si 3(7) es un número natural, entonces 17 es un número primo.

4. Determinar el valor de verdad de las siguientes proposiciones

a) (3+5 = 8)∨(5−3 = 4)

b) (3+8 = 11)∨(7−3 > 1)

c) (5−3 = 8) → (1−7 = 6)

d) (4+6 = 9) ↔ (5−2 = 4)
5. Si p(x) : x2−16 = 0, q(x) : x−12 = 0, r(x) : x2> 9. Hallar el valor de verdad de

a) [p(2)∧∼q(2)] ↔r(4)

b) [∼p(4) →r(5)]∨∼q(4)
6. Construir la tabla de verdad de las siguientes proposiciones

a) (p↔∼q) ↔ (q→p)

b) [(p∨∼r)∧(p∨r)]∧[(q→p)∧(q∨p)]
7. Determinar cuál de las siguientes proposiciones son tautlogía

a) [(p∨∼q)∧q] →p

b) [(p∧q)∨q] ↔q
8. Determinar mediante la tabla de verdad, cuáles de las siguientes proposiciones son: tautologías, contradicciones o
contingencias

a) (p→q)∧(q→p)

b) ∼ [(p∨p) →p]

c) ∼ (p∨q)∧p
9. Simplificar las siguientes proposiciones

a) {[(∼q) → (∼q)] → [(∼p) → (∼q)]} →∼ (q∧p)

b) [(p→q)∨∼p]∧(∼q→p)

c) ∼ {[∼ (∼p∧q)∨∼q] → [∼ (p∨∼q)]}

10. Si ∼ [(∼p∨q)∨(r →q)]∧[(∼p∨q) → (q∨∼p)] es verdadera, hallar los valores de verdad de p,q y r.
11. Si la proposición (p→∼q)∨(∼r →s) es falsa. Hallar el valor de verdad de los siguientes esquemas moleculares

a) (p→q) → [(p∨q)∧∼q]

b) (∼r ∨q) ↔ [(∼q∨r)∧s]

12. Determinar el valor de verdad de las proposiciones p y q si se conoce la información siguiente

a) (p∧q) ↔ (p∨q) es verdadero.

b) ∼ (p∧q) es verdadero.
13. Demostrar si las siguientes fórmulas son lógicamente equivalentes

a) ∼p∨q≡∼ (p∨q)

b) ∼ [(p∧q)∧∼r] ≡∼ [(∼p∧∼q)∧(p∨r)]
14. Probar la equivalencia de las siguientes proposiciones

a) ∼ (p⇒q) y p∧∼q

b) ∼ (p∨q) y ∼p∧∼q.
15. Demostrar que los bicondicionales siguientes son equivalencias lógicas

a) (p↔q) ⇔ (p→q)∧(q→p)

b) (p∨q)∧p⇒p