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 RULE SHEET FOR EXAM 2 RULE SHEET FOR EXAM 4 and 6
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...
5G
99
~-->O
~&O
5G
99
has two lines numbered (9); should be renumbered

7D

78

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