The following statement
(p → q ) → [(~p → q) → q] is
a fallacy
a tautology
equivalent to ~ p → q
equivalent to ~ p → q
B.
a tautology
(p → q) → [(~p → q) →q]
(p → q) → ((p → q) → q)
(p → q) → ((~p → ~q) → q)
(p → q) → ((~p→ q) → (~q→ q))
(p→ q) v (p → q) which is tautology