A proof that p → q is true based on the fact that q is true, such proofs are known as ___________
(a) Direct proof
(b) Contrapositive proofs
(c) Trivial proof
(d) Proof by cases
I have been asked this question in class test.
This interesting question is from Types of Proofs in chapter The Foundation: Logics and Proofs of Discrete Mathematics