When to proof P→Q true, we proof P false, that type of proof is known as ___________
(a) Direct proof
(b) Contrapositive proofs
(c) Vacuous proof
(d) Mathematical Induction
I have been asked this question at a job interview.
Enquiry is from Types of Proofs topic in portion The Foundation: Logics and Proofs of Discrete Mathematics