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