Discrete Structures Biconditionals │ Proof by Direct Method and by Contrapositive