Práctica: Desarrollo de ejercicios con cálculo de enunciados (MP, TD, Simp, Prod)
Enviado por Odalys Mosquera • 14 de Septiembre de 2022 • Ensayo • 3.218 Palabras (13 Páginas) • 356 Visitas
Nombre de la Institución Educativa
Desarrollo de la Actividad[pic 1]
DEBER 2
Práctica: Desarrollo de ejercicios con cálculo de enunciados (MP, TD, Simp, Prod)
Ejercicio A
_1. A → (B 𝖠 C)
_2. B → (D 𝖠 E)
_3. X → Y
_4. Y → (Z 𝖠 W) ˫ (A → E) 𝖠 (X → W)
5. A
6. B^C MP 1.5
7. B Simp1 6
8. D^E MP 2.7
9. E Simp2 8
10. A → E TD 5.9
11. X
12. Y MP 3.11
13. Z ^ W MP 4.12
14. W Simp2 13
15. X → W TD 11.14
16. (A → E) ^ (X → W) PROD 10 - 15
EJERCICIO B
_1. A → [B → (C → D)]
_2. X → (Y 𝖠 W)
_3. X
_4. X → (Z 𝖠 T) ˫ B → {[C →(A → D)] 𝖠 (Y 𝖠 Z)}
5. Y ^ W MP 2.3
6. Z ^ T MP 3.4
7. Y Simp1 5
8. Z Simp1 6
9. Y ^ Z Prod 7 - 8
10. A TD
11. B→ (C→ D) MP 1.10
12. B→ (C→ D) ^ (Y ^ Z) Prod 9 – 11
13. B → {[C →(A → D)] ^ (Y 𝖠 Z)} Ad2 12
EJERCICIO C
_1. (Y 𝖠 Z) → D
_ 2. Y 𝖠 Z
_ 3. (Y 𝖠 Z) → T
_ 4. W → Z ˫ W → [Z 𝖠 (D 𝖠 T)]
5. W
6. Z MP 4.5
7. D MP 1.3
8. T MP 1.3
9. D ^ T Prod 7 – 8
10. Z ^ (D ^ T) Prod 6 – 9
11. W → [Z 𝖠 (D 𝖠 T)] TD TD 5 -10
EJERICICO E
_1. (¬ J v ¬ ¬ J) → (I 𝖠 H)
_2. ¬ (¬ J v ¬ ¬ J) → (I 𝖠 K)
_3. (¬ J v ¬ ¬ J) 𝖠 ¬ (¬ J v ¬ ¬ J) ˫ I → (H 𝖠 K)
4. (¬ J v ¬ ¬ J)
5. I ^ H MP 1.4
6. I Simp1 5
7. H Simp2 5
8. ¬ (¬ J v ¬ ¬ J) Simp2 3
9. I ^ K MP 2.8
10. K Simp2 9
11. H ^ K PD 7 – 10
12. I → (H 𝖠 K) TD 6.11
EJERICIO F
_1. U 𝖠 P
_2. W 𝖠 O
_3. X v Y ˫ {Z v A → [(M v N) → (U 𝖠 W)]} 𝖠 [(X v Y) 𝖠 (O 𝖠 P)]
3. X v Y ˫ {Z v A → [(M v N) → (U ∧ W)]} ∧ [(X v Y) ∧ (O ∧ P)]
4.O Simp1 2
5.P Simp2 1
6.O ∧ P Prod 4,5
7.(X v Y) ∧ (O ∧ P) Prod 3,6
8.U Simp1 1
9.W Simp12
10.U ∧ W Prod 8,9
11. (M v N) → (U ∧ W) Ad2 10
12. [(M v N) → (U ∧ W)]}
3. X v Y ˫ {Z v A → [(M v N) → (U ∧ W)]} ∧ [(X v Y) ∧ (O ∧ P)]
4.O Simp1 2
5.P Simp2 1
6.O ∧ P Prod 4,5
7.(X v Y) ∧ (O ∧ P) Prod 3,6
8.U Simp1 1
9.W Simp12
10.U ∧ W Prod 8,9
11. (M v N) → (U ∧ W) Ad2 10
12. [(M v N) → (U ∧ W)]}
4. O Simp1 2
5. P
6. O ^ P
7. (X v Y) ^ (O ^ P) Prod 3.6
8. U Simp1 1
9. W Simp1 2
10. U v W Prod. 8.9
11. (M v N) → (U ^ W) Ad2 10
12. [(M v N) → (U 𝖠 W)] ^ [(X v Y) 𝖠 (O 𝖠 P)] Prod. 7.11
13. {Z v A → [(M v N) → (U 𝖠 W)]} 𝖠 [(X v Y) 𝖠 (O 𝖠 P)] AD 11.12
EJERCICIO G
3. X v Y ˫ {Z v A → [(M v N) → (U ∧ W)]} ∧ [(X v Y) ∧ (O ∧ P)]
...