Universidad Pública de El Alto Álgebra I

Ingeniería de Sistemas Lic. Carmen Vega Flores

Práctica N° 1
Tema: Lógica Proposicional

1. Decida si las siguientes frases son proposiciones o no. Las que resulten ser diga si son simples o
compuestas. Exprese simbólicamente cada una.

a) El hierro es un metal y un buen conductor de la electricidad.

b) La capital de Beni es Trinidad.
c) Bolivia no tiene áreas protegidas.
d) Dios bendice a los hombres que progresan sin cambiar su esencia.
e) La suma de los ángulos interiores en un triángulo es igual a 180º.

2. Indicar el valor de verdad de las siguientes proposiciones compuestas.

p: el sol es verde
q: Hay flores de color rojas
r: los perros lloran
s: 2 < 6
t: 4 + 5 > 8
a. (𝑝 ⟹ 𝑞) ∧ 𝑟
b. 𝑝 ∨ (𝑞 ∧ 𝑟) ⟹ 𝑞
c. ∼ (𝑝 ∧ 𝑞) ⟺ (∼ 𝑝 ∨∼ 𝑞)
d. (𝑝 ⟹ 𝑞) ⟺ (∼ 𝑝 ∨ 𝑞)
e. 𝑟 ∨ (𝑠 ∨ 𝑡) ⟺ (𝑟 ∨ 𝑠) ∧ (𝑟 ∨ 𝑡)

3. Realizar la tabla de verdad.

a. (𝑝 ⟹ 𝑞) ∧ 𝑟
b. 𝑝 ∨ (𝑞 ∧ 𝑟) ⟹ 𝑞
c. ∼ (𝑝 ∧ 𝑞) ⟺ (∼ 𝑝 ∨∼ 𝑞)
d. (𝑝 ⟹ 𝑞) ⟺ (∼ 𝑝 ∨ 𝑞)
e. 𝑟 ∨ (𝑠 ∨ 𝑡) ⟺ (𝑟 ∨ 𝑠) ∧ (𝑟 ∨ 𝑡)

4. Simplifique las siguientes proposiciones, utilizando las reglas de álgebra proposicional.

a. (𝑝 ⟹ 𝑞) ∨∼ 𝑝
b. 𝑝 ∧ (𝑝 ⟹ 𝑞)
c. ∼ (∼ 𝑝 ∨∼ 𝑞)
d. ∼ (𝑝 ∨ 𝑞) ∨ (∼ 𝑝 ∧ 𝑞)
e. ∼ (∼ 𝑝 ∨∼ 𝑞) ∨ (∼ 𝑝 ∧ 𝑞) ∨∼ (𝑝 ∨ 𝑞)
f. ∼ {∼ [∼ (𝑝 ∨ 𝑞) ⟹ (∼ 𝑝 ∧∼ 𝑞)]}
g. (𝑝 ⟹ 𝑝) ∨ 𝑝

5. Indicar cuales de las siguientes proposiciones son Tautología y Contradicciones.

a. (𝑝 ⟹ 𝑞) ∨ 𝑝
b. (𝑝 ∧ 𝑞) ∨∼ (𝑝 ∨ 𝑞)
c. (𝑝 ∧ 𝑞) ⟹ (𝑞 ⟺ 𝑟)
d. ∼ (𝑝 ∨ 𝑞) ∧ 𝑞
e. ∼ (𝑝 ⟹ 𝑞) ∧ 𝑞
f. (𝑝 ∧ 𝑞) ∧∼ 𝑞
Universidad Pública de El Alto Álgebra I
Ingeniería de Sistemas Lic. Carmen Vega Flores

6. Determine ¿cuál de las siguientes proposiciones es verdadera?

√𝑥 2
a. = 𝑥√2
50
2
b. = √3 − √5
√3+√5

c. Triángulo isósceles es aquel que tiene 3 lados iguales.

9
d. 2 √4 + 2−1 ≠ 2
e. [𝑥 ]𝑚 = 𝑥 𝑛𝑚
𝑛

Demuestre los siguientes ejercicios por el método directo e indirecto.

7. Demuestre: d
(1) ~𝑡 ∨ (𝑏 ∨ 𝑐)
(2) ~𝑡 → 𝑑
(3) (𝑏 𝑉 ∨ 𝑐) → 𝑠
(4) ~ 𝑠

8. Demuestre: s
(1) 𝑝 → 𝑞
(2) 𝑞 → ~ 𝑟
(3) 𝑟
(4) 𝑝 ∨ (𝑡 ∧ 𝑠)

9. Demuestre: r
(1) ~𝑝
(2) 𝑞 → 𝑝
(3) 𝑞 ∨ 𝑠
(4) 𝑡 → ~ 𝑠
(5) ~𝑡 → 𝑟

10. Demuestre: ⎤ r
(1) 𝑟 →~𝑞
(2) ~𝑡 → 𝑞
(3) 𝑡→ 𝑠
(4) 𝑟 →~𝑠

11. Demuestre: s Λ r
(1) (𝑟 ∧ 𝑠) ∨ 𝑝
(2) 𝑞 → ~𝑝
(3) 𝑡→ 𝑝
(4) 𝑞 ∨ 𝑡

Demuestre la validez de cada razonamiento empleando las leyes de inferencia. Sugerencia: En algunos
es necesario usar el álgebra de proposiciones.
12. Si estudio, entonces, no fallaré en álgebra; si no juego fútbol, entonces, estudiaré pero fallé en álgebra.
Por tanto, jugué fútbol.
13. Si la película es buena, José no se queda dormido en el cine. Si la película no es de terror, entonces,
es buena. Si José no se queda dormido en el cine, la película es de terror. Así que la película es de
terror.
14. Si el retrato se parece al cliente, entonces él y el artista se sentirá insatisfechos. Si el retrato no se
parece al cliente, su esposa se negará a pagar, y si esto sucede, el artista se sentirá insatisfecho. Por
lo tanto, el artista se sentirá insatisfecho.
15. Los estudiantes estarán contentos si y solamente si no hay lección. Si los estudiantes están contentos,
el profesor se sentirá feliz. Pero si el profesor se siente feliz, no estará en condiciones de explicar, y si
no está en condiciones de explicar, habrá lección. Por lo tanto, los estudiantes no estarán contentos.