...I'm also prepared to assist in learning the proofs necessary for this course, including but not limited to induction, contra positive, contradiction, and if-and-only-if type proofs. The following is a proof done by me on antisymmetric relations, followed by a shorter proof on set intersection of... (read more)