Texts: Using quantifying operators, prove or disprove the validity of the following arguments:
1. All clear explanations are satisfactory. Some excuses are unsatisfactory. Hence, some excuses are not clear explanations.
2. If n ≥ 3 is an integer, prove by mathematical induction that 2n + 1 < 2n.
3. Prove by cases when n is even (n = 0) and when n is odd, if n is an integer, n^2 + 3n + 2 is even.