1. M > (M > M)
M > (M > M)
T | T | T | T | T |
F | T | F | T | F |
tautology
2. (G > G) > G
(G > G) > G
T | T | T | T | T |
F | T | F | F | F |
contingent
3. (S > R) ∙ (S ∙ ~R)
(S > R) . (S . ~R)
T | T | T | F | T | F | F |
T | F | F | F | T | T | T |
F | T | T | F | F | F | F |
F | T | F | F | F | F | T |
Self-contradiction
4. [(Q > P) ∙ (~Q > R)] ∙ ~(P v R)
[(Q > P) . (~Q > R)] . ~ ( P v R)
T | T | T | T | F | T | T | F | F | T | T | T |
T | T | T | T | F | T | F | F | F | T | T | F |
T | F | F | F | F | T | T | F | F | F | T | T |
T | F | F | F | F | T | F | F | T | F | F | F |
F | T | T | T | t | T | T | F | F | T | T | T |
F | T | T | F | T | F | F | F | F | T | T | F |
F | T | F | T | t | T | T | F | F | F | T | T |
F | T | F | F | T | F | F | F | T | F | F | F |
Self-contradiction
5. {[(G ∙ N) > H] ∙ [(G > H) > P]} > (N > P)