Schedule
Introductory Logic
Course Outline
Hom
e
Tutorials
Interactive
Assessments
Marks
Resources
Week
Day
Chapter
Topic
One
17/12/07
Monday
1
Beginning logic
Tuesday
2
A new language
Wednesday
3
Truth tables
Thursday
4
Truth tables and arguments
Friday
Two
24/12/07
Monday
5
Truth trees
Tuesday
Wednesday
6
Deduction and Proof
Thursday
Friday (Ass 1)
Three
14/01/08
Monday
8
A richer language
Tuesday
9
Translation and formalities
Wednesday
Thursday
10
Truth in Monadic Predicate Logic
Friday
Four
21/01/08
Monday
11
Truth-Trees for MQT
Tuesday
Wednesday (Ass 2)
12
General Predicate Logic
Thursday
13.1
Truth-Trees for
Predicate Logic
Friday
Revision Period
Examination Period