Introductory Logic |
Quiz #4
|
October 10, 2005
|
Name: ________________________ |
R. Hammack
|
Score: _________
|
(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. |
[(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
|
||||||||||||
|
|
(b)
|
Write out the truth table for • |
|
p • q
|
||||||||||||
|
|
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
|