Chapter 0: Preliminaries Last updated Jun 27, 2023 Save as PDF Preface 0.0: Introduction to proofs Page ID131024 Pamini ThangarajahMount Royal University ( \newcommand{\kernel}{\mathrm{null}\,}\) Topic hierarchy0.0: Introduction to proofs0.1: Sets0.2: Relations0.3: Functions0.5: Proof Templates0E: Exercises