In proving √5 as irrational, we begin with assumption √5 is rational in which type of proof?
(a) Direct proof
(b) Proof by Contradiction
(c) Vacuous proof
(d) Mathematical Induction
This question was posed to me in class test.
This key question is from Types of Proofs in chapter The Foundation: Logics and Proofs of Discrete Mathematics