The Simplification Rule (Simp) can be used on the following statement: [O + (P > H)] v (Z + Y)

Which pair of premises work together for the CD rule?

It is possible to use the conjunction rule with these two premises. Z > W ~E v H

Can the rule Simplification (Simp) by applied to this line: (O + R) v ~(Z + F)

1. ~(x)Ox 2. (x)Ax 3. (x)(Hx v ~Mx) 4. (x)Hx > (x)(Ax > Ox) 5. [(x)Mx + (∃x)Px] v ~Ka      / ~(x)Kx 6. ____                 1 QN 7. ____                 ___ 8. ____                 ___ 9. ____                 7,8 conj 10. ____               9 DM 11. ____               10 impl 12. ____               11 ___ 13. ____               12 ___ 14. ____               4,13 MT 15. ____               14 QN 16. ____               ____ 17. ____               ____ 18. ____               16,17 DS 19. ____               18 EG 20. ____               19 QN 21. ____               20 add 22.____                21 DM 23. ~Ka                5, 22 DS 24. ___                 ____ 25. ~(x)Kx            ____   Line 17 should be this, with this justification:

1. ~(x)Ox 2. (x)Ax 3. (x)(Hx v ~Mx) 4. (x)Hx > (x)(Ax > Ox) 5. [(x)Mx + (∃x)Px] v ~Ka      / ~(x)Kx 6. ____                 1 QN 7. ____                 ___ 8. ____                 ___ 9. ____                 7,8 conj 10. ____               9 DM 11. ____               10 impl 12. ____               11 ___ 13. ____               12 ___ 14. ____               4,13 MT 15. ____               14 QN 16. ____               ____ 17. ____               ____ 18. ____               16,17 DS 19. ____               18 EG 20. ____               19 QN 21. ____               20 add 22.____                21 DM 23. ~Ka                5, 22 DS 24. ___                 ____ 25. ~(x)Kx            ____   Line 15 should be this:

1. ~(x)Ox 2. (x)Ax 3. (x)(Hx v ~Mx) 4. (x)Hx > (x)(Ax > Ox) 5. [(x)Mx + (∃x)Px] v ~Ka      / ~(x)Kx 6. ____                 1 QN 7. ____                 ___ 8. ____                 ___ 9. ____                 7,8 conj 10. ____               9 DM 11. ____               10 impl 12. ____               11 ___ 13. ____               12 ___ 14. ____               4,13 MT 15. ____               14 QN 16. ____               ____ 17. ____               ____ 18. ____               16,17 DS 19. ____               18 EG 20. ____               19 QN 21. ____               20 add 22.____                21 DM 23. ~Ka                5, 22 DS 24. ___                 ____ 25. ~(x)Kx            ____   Line 12 should be this, with this justification:

1. ~(x)Ox 2. (x)Ax 3. (x)(Hx v ~Mx) 4. (x)Hx > (x)(Ax > Ox) 5. [(x)Mx + (∃x)Px] v ~Ka      / ~(x)Kx 6. ____                 1 QN 7. ____                 ___ 8. ____                 ___ 9. ____                 7,8 conj 10. ____               9 DM 11. ____               10 impl 12. ____               11 ___ 13. ____               12 ___ 14. ____               4,13 MT 15. ____               14 QN 16. ____               ____ 17. ____               ____ 18. ____               16,17 DS 19. ____               18 EG 20. ____               19 QN 21. ____               20 add 22.____                21 DM 23. ~Ka                5, 22 DS 24. ___                 ____ 25. ~(x)Kx            ____   Line 8 should be this, with this justification:

1. ~(x)Ox 2. (x)Ax 3. (x)(Hx v ~Mx) 4. (x)Hx > (x)(Ax > Ox) 5. [(x)Mx + (∃x)Px] v ~Ka      / ~(x)Kx 6. ____                 1 QN 7. ____                 ___ 8. ____                 ___ 9. ____                 7,8 conj 10. ____               9 DM 11. ____               10 impl 12. ____               11 ___ 13. ____               12 ___ 14. ____               4,13 MT 15. ____               14 QN 16. ____               ____ 17. ____               ____ 18. ____               16,17 DS 19. ____               18 EG 20. ____               19 QN 21. ____               20 add 22.____                21 DM 23. ~Ka                5, 22 DS 24. ___                 ____ 25. ~(x)Kx            ____   Line 19 should be this:

1. ~(x)Ox 2. (x)Ax 3. (x)(Hx v ~Mx) 4. (x)Hx > (x)(Ax > Ox) 5. [(x)Mx + (∃x)Px] v ~Ka      / ~(x)Kx 6. ____                 1 QN 7. ____                 ___ 8. ____                 ___ 9. ____                 7,8 conj 10. ____               9 DM 11. ____               10 impl 12. ____               11 ___ 13. ____               12 ___ 14. ____               4,13 MT 15. ____               14 QN 16. ____               ____ 17. ____               ____ 18. ____               16,17 DS 19. ____               18 EG 20. ____               19 QN 21. ____               20 add 22.____                21 DM 23. ~Ka                5, 22 DS 24. ___                 ____ 25. ~(x)Kx            ____   Line 6 should be this: