Test 4

The exercises are numbered in a way that corresponds to the packet. For instance, exercise 4.1a is related to the material on packet page 4.1.

When you have completed an exercise use the back button in your browser to return to this page. (I have discovered that the back button does not work very efficiently if you are using Internet Explorer for Windows. In this case it might be better to save this page in your favorites to return to it.)

Many of these exercises contain jpeg images (of trees and tables) and so they may take slightly longer to load over a dial-up connection than the earlier exercises. Also, I have discovered that the Safari web browser for Mac OS X does not display these images. So, if you have Mac OS X, you will have to use Internet Explorer or some other alternative.

4.1a Truth Tables Speed Exercise

4.1b Truth Tables Summary

4.3a Truth Tables for Validity

4.3b Tree Rules Speed Exercise

4.3c Tree Rules

4.3d Trees for Validity

4.5a Tautologies, Contradictions and Contingencies 1

4.5b Tautologies, Contradictions and Contingencies 2

4.5c Entailment and Logical Equivalence

4.5d Consistency

4.7 True/False Questions