Propositional Logic

Jan 24

Propositions, Part I

Introduction to MATH301

Jan 28

Section: Lean Installation Party

Jan 26

Propositions, Part II: Section 1.1. and Appendix D

We shall introduce propositional logic and we shall analyze the forms of proofs. We shall focus on propositional formulae formed by logical connectives and introduce new tools such as parsing trees to aid us with complicated propositional formulae.

Jan 31

HW 1 due: HW1