Question

The following statement
(p → q) → [( ~ p → q) → q ] is :
(1) a tautology (2) equivalent to ~ p → q
(3) equivalent to p → ~ q (4) a fallacy

Answer 1

Solution: (p → q ) → [(~p → q) → q]