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

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

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.


Write out the truth table for ⊃


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)]