Use propositions, quantifiers, sets, counterexamples, and direct, contrapositive, contradiction, induction, and existence proofs.
