Escuela Militar de Ingeniería

“Mcal. Antonio José de Sucre”

Unidad Académica La Paz

DEPARTAMENTO: CIENCIAS BÁSICAS

ASIGNATURA: ÁLGEBRA
UNIDAD DIDÁCTICA: LÓGICA
DOCENTES: Ing. Rosario Auza Terrazas
Ing. Jaime Flores Mujica
Ing. Lino Aramayo García
Lic. Fernando Estrada Navia
COORDINACIÓN: Ing. Felix Vega Benavides

En los siguientes problemas, utilice las leyes lógicas para simplificar la proposición dada.

1. [∼ (p ∧∼ q) → (∼ p ∧∼ q)] ∨ (∼ p ∧ q)

2. (p ∧ q) ∨ (q ∧ r) ∨ (p ∧∼ q ∧ r) ∨ (q ∧∼ r) ∨ (p ∧∼ q ∧∼ r)

3. {[𝑝 ∧ (𝑞 → 𝑟)] ∧ [𝑝 → (𝑞 ∧ ~𝑟)]} ∨ {(𝑝 ∧ 𝑞) ∨ [(𝑝 ∧ 𝑟) ∧ (𝑞 ∨ ~𝑟)]}

4. [(~𝑞 → 𝑟) ∧ ~(𝑞 ∧ ~𝑟)] → [(𝑟 → 𝑝) ∧ (𝑝 → ~𝑟)]

5. [(𝑞 ⟶ 𝑝) ∧ (∼ 𝑝 ⟶ 𝑞)] ⟶∼ (𝑝 ∨∼ 𝑞)

6. [(𝑝 ⟶ 𝑟) ⟷ (𝑝 ∧ 𝑟)] ∧ [(𝑝 ⟶∼ 𝑞) ⟶ 𝑞]

7. ~[(𝑞 → 𝑝) ∧ (𝑝 → 𝑞)] ∨ [(~𝑝 ∧ 𝑞) ∨ (~𝑝 ∧ ~𝑞)]

8. ~[𝑞 → (𝑝 → ~𝑞)] → [(~𝑝 → 𝑞) ↔ ~𝑝]

9. {(𝑝 ∨ 𝑞) ∩ [(𝑞 ∧ ~𝑝) ∨ (𝑝 ∧ 𝑞)]} ∧ [𝑝 ∨ ~(𝑝 ∨ 𝑞)]

10. {[(𝑝 ∨ 𝑞) ∧ ~(𝑟 ∧ ~𝑝)] ∧ [(𝑝 ∧ 𝑞) ∧ ~(𝑝 ∧ ~𝑟)]} ∨ ~(𝑞 ∧ ~𝑟)

En los siguientes problemas, se pide utilizar las reglas de inferencia para obtener alguna
conclusión, a partir de las premisas dadas
1. ∼p→q
1. 2. q →∼ r
3. r∨s
∴ ¿?
1. (𝑝 ∨ 𝑞) → 𝑟
2. 2. r → (s ∨ t)
3. t→u
∴ ¿?

1
 1. 𝑣 → ~𝑢
3. 2. 𝑝 ∧∼ 𝑞
3. (~𝑣 ∨ 𝑚) → (𝑟 ∧ 𝑡)
4. 𝑞∨𝑤
5. 𝑝 → (𝑢 ∨ ~ 𝑤)
∴ ¿?
4. 1. 𝑟→𝑞
2. ~𝑠 → (𝑡 ∧ 𝑢)
3. 𝑝 ∧ ~𝑞
4. (𝑝 ∧ 𝑡) → 𝑣
5. 𝑟 ∨ ~𝑠
∴ ¿?
5. 1. ~𝑠 ⟶∼ 𝑟
2. ~(𝑝 ⟶ 𝑠)
3. 𝑝 ⟶ (∼ 𝑞 ⟶ 𝑟)
∴ ¿?
6. 1. 𝑝 ⟶𝑠
2. (𝑠 ∧ 𝑟) ⟶ ~𝑡
3. 𝑞 ⟶𝑟
4. 𝑝∧𝑞
∴ ¿?
7. Si un triángulo tiene tres ángulos, entonces un cuadrado tiene cuatro ángulos rectos. Un
triángulo tiene tres ángulos y su suma vale dos ángulos rectos. Si los rombos tienen cuatro
ángulos rectos, entonces los cuadrados no tienen cuatro ángulos rectos.
8. Si la enmienda no fue aprobada, entonces la constitución queda como estaba. Si la
constitución queda como estaba, entonces no se puede añadir nuevos miembros al comité.
Se puede añadir nuevos miembros al comité o el informe se retrasará un mes. Pero, el
informe no se retrasará un mes.
9. 1. (𝑝 → 𝑞) → 𝑟
2. (𝑟 ∨ 𝑠) → 𝑞
3. 𝑝→𝑡
4. 𝑞↔𝑡
∴ ¿?
10. 1. (𝑝 ∨ 𝑞) → 𝑟
2. 𝑟↔𝑠
3. (~𝑡 ∨ 𝑟) → 𝑝
4. 𝑡→𝑠
∴ ¿?
En los siguientes problemas, se pide utilizar las reglas de inferencia para demostrar la validez
del razonamiento. a partir de las premisas dadas.

1. 1. p → ~c
2. a ∧ ~b
3. (~p ∨ q) → (r ∧ t)
4. b∨d
5. a → (c ∨ ~d)
∴ r∨s

2
2. 1. c→b
2. ~d → (e ∧ f)
3. a ∧ ~b
4. (a ∧ e) → g
5. c ∨ ~d
∴ g∧f
3.
1. (𝑝 ∧∼ 𝑞) ∨ (p ∧ r)
2. ∼ 𝑞 →∼ 𝑝
∴ 𝑟
4. 1. 𝑝 ∧ 𝑟
2. 𝑝 → 𝑠
3. 𝑟 → 𝑡
∴ 𝑠∧𝑡

5. 1. 𝐶⟶𝐵
2. ∼ 𝐷 ⟶ (𝐸 ∧ 𝐹)
3. 𝐴 ∧∼ 𝐵
4. (𝐴 ∧ 𝐸) ⟶ 𝐺
5. 𝐶 ∨∼ 𝐷
∴ 𝐺 ⋀ 𝐹
6. 1. 𝑥 > 𝑦 ∨𝑦 = 3
2. 𝑥>4 ⟶𝑦≯1
3. 𝑥>𝑦 ⟶𝑥>4
4. 𝑥=𝑦 ⟶𝑦≯1
5. 𝑥 >𝑦 ∨𝑥 =𝑦
6. 𝑦=3 ⟶𝑦>1
∴ 𝑥>4
7.
1. 3𝑥 + 2𝑦 = 18 ∧ 𝑥 + 4y = 16
2. 𝑥 = 2 → 3𝑥 + 2𝑦 ≠ 18
3. 𝑥 =2∨ 𝑦=3
4. 𝑥≠4 →𝑦≠3
∴ x = 4
8. 1. (𝑝 ∧ 𝑞) → 𝑟
2. (𝑞 → 𝑟) → 𝑠
3. 𝑝
∴ 𝑠

9. 1. ∀𝑥: 𝑥 + 2 > 4 ∨ 𝑥 + 1 < 7

2. ∀𝑥: 5 + 𝑥 < 4 + 3 → 5 + 𝑥 ≯ 4
3. 5+1≮ 7
∴ 5+2 ≮4+3

10. 1. ∀𝑥: (𝑥 < 4 ∧ 4 < 5) → 𝑥 < 5

2. ∀𝑥: − 4 < −𝑥 ↔ 𝑥 < 4
3. 4<5
4. −4 < −3
∴ 3<5