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