Part I Logic
L01 Propositional Logic
L02 Predicate Logic
L03 Inference Rules and Proof Techniques
1

What is Logic?
Puzzles
Prerequisite of law schools (LSAT)
Riders A, B, C, D, E, F, and G take busses 1, 2, 3 to work.
Neither E nor G takes bus 1 on a day when B does.
G does not take bus 2 on a day when D does.
When A and F take the same bus, it is always bus 3.
C always takes bus 3.
Who takes which bus?
Rules of mathematical reasoning
Automated reasoning and artificial
intelligence
Four color theorem
Still in progress
2

Page 3
L01: Propositional Logic
Outline
Propositions
Compound Propositions
Propositional Equivalences
Reading
Kenneth Rosen, section 1.1-1.3