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.