Introductory Logic
Quiz #2
March 10, 2006
 
Name: ________________________
R. Hammack
Score: _________

 
1.
Translate the following sentences into symbolic form, with letters representing simple statements.


(a)
If today is Friday, then we have a quiz and it's not difficult.

F = "Today is Friday"
Q = "We have a quiz"
D = "It is difficult"

F ⊃ (Q • ~D)

(b)
Microsoft does not acknowledge a monopoly, and if Intel lays off workers, then Dell or Apple will have job applicants.

M = "Microsoft does acknnowledge a monopoly"
I = "Intel lays off workers"
D = "Dell will have job applicants"
A = "Apple will have job applicants"

~M • (I ⊃ (DA))



2.
    Write the truth tables for each of the five logical operators.


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

p
q
p q
T
T
T
F
F
T
F
F
T
F
F
T
p
~p
T
F
F
T
 

 

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
)
[
F
T
T
)
]
(
F
T
)
(
F
(
T
F
)
]
T
[
F
F
]
T
T
T
T

The statement is TRUE.