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.

P ⊃ S

Where
P = pharmaceutical makers conceal test results,
S = 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.


[(S • L) ⊃ H] • (H ⊃ I)

Where
S = Three-strikes laws will be enforced
L = longer sentences (will be) imposed
H= hundreds of new prisons are built
I = taxes are increased



2.

(a)
 Write out the truth table for ⊃

p
q
p ⊃ q
T
T
T
F
F
T
F
F
T
F
T
T


(b)
 Write out the truth table for •

p
q
p • q
T
T
T
F
F
T
F
F
T
F
F
F




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

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

Statement is FALSE