Study Schedule
Topics marked with '#' are not be included
in the course this semester.

Topic 0

Review all topics from PHIL 1006 Elementary Logic

Topic 1: How to prove things with sentential logic

1 Derivations in sentential logic

2 Some rules

3 More rules

4 Strategies for making a derivation

Topic 1: Answers to exercises, Answers to exercise 1.4.5a

[If your web browser cannot read the symbols in the Topic 1 pages,
try the pdf versions: topic 1.1, topic 1.2, topic 1.3, topic 1.4]

Topic 2: Metatheory

1 Why the rules are good, part 1

2 Why the rules are good, part 2

[Here are the pdf versions: topic 2.1, topic 2.2]

Topic 2: Answers to exercises

Topic 3: Predicate logic

1 Derivations in monadic predicate logic

2 More derivations

3 A faster, higher, stronger predicate logic #

[Here are the pdf versions: topic 3.1, topic 3.2]

Topic 3.1: Answers to exercises

Topic 3.2: Answers to exercises

Topic 4: Fun with logic

1 Make your robot go #

2 Corner the stock market #