Students will learn how to form plausible conjectures. Students will be introduced to various techniques of proofs such as direct proof, proof by contrapositive, proof by induction, etc. Applications of these techniques on set theory, analysis, conmbinatories group theory, and functions and relations will be discussed.