# Propositional Logic

## Propositional Logic

- Jan 24
- 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

Copyright © 2021-2022 Sina Hazratpour. Distributed by an MIT license.