In: Advanced Math
* Prove that the associative law does not apply to ->. I.e., prove that (P_1 -> (P_2 -> P_3)) notLEQV ((P_1 -> P_2) -> P_3). * Right associating ... - Work out a simple rule to determine exactly when (P_1 -> (P_2 -> ( ... (P_{n-1} -> P_n)...))) is satisfied. Prove your rule by induction on n. * Left associating ... - Work out a simple rule to determine exactly when (((...(P_1 -> P_2) ...) -> P_{n-1}) -> P_n) is satisfied. Prove your rule by induction on n.