Introduction to Logic 1

Assessed Homework due 3 November: starred exercises from section 2.1, exercises 3, 5 & 7

Assessed Homework due 17 November: starred exercises from section 2.2, exercises 1 & 3

Assessed Homework due 1 December:
Section 2.4, exercises 3, 4 & 5 (starred items);
Section 3.2 exercises 1.f and starred items from exercise 4;
Section 3.3, exercises 1.h & 4.b;
Section 3.4, exercise 1.h and starred items from exercise 4;
Section 3.5, exercise 1.d and starred items from exercise 5.

Assessed Homework due 15 December:
Starred items from sections 5.1.1 to 5.1.4

IN-CLASS TEST 15 DECEMBER

Lecture 1
Lecture 2
Lecture 3
Lecture 4
Lecture 5
Lecture 6
Lecture 7
Lecture 8

Syllabus

Install Bertie3

Notes on Using Bertie3

Correspondence between exercises in the book (4th edition) and Bertie homework files

Also of interest, web-based software for syntax and derivations for the system of The Logic Book:

http://hatzicware.com/

They even have an iPhone application for SD!

BACK TO TEACHING