If P is always against the testimony of Q, then the compound statement P→(P v ~Q) is a __________
(a) Tautology
(b) Contradiction
(c) Contingency
(d) None of the mentioned
The question was posed to me in unit test.
Asked question is from Logics and Proofs topic in portion The Foundation: Logics and Proofs of Discrete Mathematics