General Info Syllabus Schedule Textbook Tutors Grades

Chapter 1: Basic Concepts of Logic
Chapter 2: Truth-Functional Connectives
Chapter 3: Validity in Sentential Logic
Chapter 4: Translations in Sentential Logic
Chapter 5: Derivations in Sentential Logic
Chapter 6: Translations in Monadic Predicate Logic
Chapter 7: Translations in Polyadic Predicate Logic
Chapter 8: Derivations in Predicate Logic
(New) Rules of Derivation
These require Adobe Acrobat Reader.
To download, click here.
TYPOS

Excercise set

Problem number

What it says

What it should say

2A

6

FALSE

TRUE

2B

6

TRUE

FALSE

3A

21

Tautology

Contingent

3A

22

Contingent

Tautology

3A

23

Tautology

Contingent

3A

24

Contingent

Tautology
4A 39 ...thereat... ...the beach...

7D

78

 ~Ex(Sx & \-/y(Py --> Rxy)) ~Ex(Sx & \-/y(Py --> Ryx))