The Simplification Rule (Simp) can be used on the following statement: v (Z + Y)

1. ~(x)Ox 2. (x)Ax 3. (x)(Hx v ~Mx) 4. (x)Hx > (x)(Ax > Ox) 5. 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. 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. 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:

Which organization was formed after World War I to prevent future conflicts?

Which organization replaced the League of Nations after WWII?

Which of the following is an example of a non-state actor?

The main focus of IR is solving the ______ problem.

Athletes who are competing and sweating for four or more house need to 

What links amino acids together?