The following statement (p→q)→[(∼p→q)→q] is:
Consider the following statements:
Statement I:(p∧~q)∧(~p∧q) is a fallacy.
Statement II: (p→q)↔(~q→~p) is a tautology.
The statement (p→q)→[(∼p→q)→q] is
Given the following two statements
(S1):(q∨p)→(p↔~q) is a tautology.
(S2):~q∧(~p↔q) is a fallacy. Then: