Understanding deductive reasoning, logical implications, rules of inference (modus ponens, modus tollens, etc.), and methods of proof such as direct proof, proof by contradiction, and mathematical induction.
The first topic in every unit is free to read. Upgrade to unlock the rest of the Mathematical Logic syllabus, downloadable notes, and CATs.
Upgrade to Unlock