Práctica: Desarrollo de ejercicios con cálculo de enunciados (MP, TD, Simp, Prod)
Odalys MosqueraEnsayo14 de Septiembre de 2022
3.218 Palabras (13 Páginas)399 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)]
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
...