General Info Schedule On-Line TextBook Support Materials 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
  Rules of Derivation (textbook)
  Rules of Derivation (New and Improved!)
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))