Introductory Logic
Quiz #3
March 17 , 2006
 
Name: ________________________
R. Hammack
Score: _________
1. Write truth tables for the following pair of statements.
    Determine if the statements are logically equivalent, contradictory, consistent or inconsistent.

~
(
~
P
⊃
Q
)
~
Q
•
~
P
F
F
T
T
T
F
T
F
F
T
F
F
T
T
F
T
F
F
F
T
F
T
F
T
T
F
T
F
T
F
T
T
F
F
F
T
F
T
T
F

They are Logically Equivalent and Consistent.





2. Decide if the following argument is valid or invalid by writing out its truth table.
    Be sure to explain how your answer follows from the truth table.

P ⊃ Q
~(Q • ~R)
P ⊃ R

 

P
⊃
Q
~
(
Q
•
~
R
)
P
⊃
R
T
T
T
T
T
F
F
T
T
T
T
T
T
T
F
T
T
T
F
T
F
F
T
F
F
T
F
F
F
T
T
T
T
T
F
F
T
F
F
T
F
T
F
F
F
T
T
T
T
F
F
T
F
T
T
F
T
T
F
T
T
T
F
F
T
F
F
T
F
T
F
F
F
T
F
T
T
F
T
F
T
F
F
T
F
F
T
F

The argument is VALID, because whenever both premises are true (Lines 1, 5, 7, 8) the conclusion is true too.