Determinar quais das seguintes proposições são tautológicas, contraválidas (contradição), ou contingentes:

a) p → ( ~ p → q) - Tautologia
b) ~ p v q → (p → q) - Tautologia
c) p → ( q →( q → p)) - Tautologia
d) ((p → q) ↔ q )→ p - Contingência
e) p v ~q → ( p → ~q - Contingência
f) p v q → p ∧ q - Contingência
g) p → ( p → q ∧ ~q) - Contingência
h) (q → p) → (p → q) - Contingência
i) ~ p ∧ ~ (p → q) - Contradição
j) p ∧ q → ( p↔ q v r) - Tautologia