Introductory Logic
Quiz #4
October 10, 2005
 
Name: ________________________
R. Hammack
Score: _________

1. Translate the following sentences into symbolic form.
(a)
 If pharmaceutical makers conceal test results, they are subject to substantial fines.






(b)
 Three-strikes laws will be enforced and longer sentences imposed only if hundreds of new prisons are built, and that will happen only if taxes are increased.






2.

(a)
 Write out the truth table for ⊃


 


(b)
 Write out the truth table for •




3. Suppose statements A and B are true, and X and Y are false. Decide if the following statement is true or false.

X ≡ [(A • ~B) ⊃ (X ∨ A)]