# Introduction to Proofs, Spring 2022

Johns Hopkins University

sina@jhu.edu

## Week 13 Announcements

Apr 19 ·
1. This weekâ€™s homework is published. The due date is Monday, Apr 25.
2. You should work through the Lean labs ðŸ§ª and ðŸ§ª to solve the homework problems.

## 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

## Predicate Logic

Feb 14
Predicates, Part I
Feb 18
Section
Feb 16
Predicates, Part II
Feb 23
HW 3 due
HW3

## Sets in Lean

Mar 14
Basic Operations on Sets
Mar 18
Section
Mar 16
Tactics
Mar 28
HW 6 due
HW6

## Relations

Apr 18
Equivalence Relation
Apr 22
Section
Apr 20
Quotient by Equivalence Relation
Apr 25
HW 8 due
HW8