Blog

In this proof, could you reach the conclusion in two more steps? If so, which two rules would you use and in what correct order? [(H > J) v ~E)] > (M v ~A) H > J                          / M v ~A

You can do the proof below, and then refer back to it to answer the following multiple-choice questions.

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 6 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 15 should be this:

Which organization replaced the League of Nations after WWII?

An example of a state in IR is __________.

Which event triggered World War I?

Satiation is 

Frequent between meal snacks should be avoided for athletes