Chapter 1 Questions.
Propositional Logic.
Declarative sentences.
Question 1
Which of the following propositional formulas represents the sentence, 'He will come on the 8:15 or the 9:15 train; if the former, he will have time to visit us', where
p means 'He will come on the 8:15'
q means 'He will come on the 9:15'
r means 'He will have time to visit us'
 p q r
 p q r
 (p q) (p r)
 p q r
 (p q) (p r)
Question 2
Which of the following sentences has the logical form
(p q) r
 If you miss the party, then Jane, who is already upset, will be angry with you.
 Handel is great, and the same goes for Vivaldi.
 If inflation is up and an election is approaching, then public borrowing goes up.
 He will come on the 8:15 or the 9:15 train; if the former, he will have time time to visit us.
 Heavy traffic and rain have put him in a bad mood.
Semantics.
Question 3
Which of the following propositional formulas is satisfied by the valuation which assigns T to P, and F to q and r.
 (p r) q
 (r (p q))
 r (p q)
 p q r
 (p q) r
Recall that p q is an abbreviation
for (p q) (q p).
Question 4
Which of the following propositional formulas is a tautology?
Recall that a tautology is a formula that evaluates to T for all possible
assignments of truth values.
 ( p r) (p r)
 (p (p q))
 r (p r)
 p T
 (p q) (p q)
Recall that p q is an abbreviation
for (p q) (q p).
Question 5
Which of the following entailments is valid?
 (p q) r, r p
 p, p q q
 (p q) r, r p q
 q p
 p q p q
Question 6
Which of the columns below represents the truth table for the formula,
(p q ) (r q)?
p 
q 
r 

1 
2 
3 
4 
5 
T 
T 
T 

F 
T 
T 
T 
T 
T 
T 
F 

T 
T 
T 
T 
F 
T 
F 
T 

F 
F 
F 
T 
T 
T 
F 
F 

T 
T 
T 
T 
T 
F 
T 
T 

F 
T 
T 
T 
F 
F 
T 
F 

T 
T 
T 
T 
F 
F 
F 
T 

F 
F 
T 
T 
T 
F 
F 
F 

T 
T 
T 
T 
T 
More declarative sentences.
Question 7
Which of the following formulas represents the sentence 'If Smith has installed central heating, then he has sold his car or he has not paid his mortage', where;
p means 'Smith has installed central heating'
q means 'Smith has sold his car'
r means 'Smith has paid his mortage'.
 p q
 p q r
 (p q) r
 p q r
 p q r
Question 8
Which of the following formulas represents the sentence, 'Share prices will go up, and if interest rates go up too, there will be a recession', where;
p means 'share prices will go up'
q means 'interest rates will go up'
r means 'there will be a recession'.
 p q r
 p (q r)
 p q r
 (p q) r
 p q r
Question 9
Which of the following sentences could be written a p (q r), for suitable p, q, and r ?
 If inflation goes up and an election is approaching, then public borrowing goes up.
 You can go swimming, or use the sauna and the shower.
 You need to buy bread, cheese, and wine.
 Heavy traffic and rain put him in a bad mood.
 Plants need water and food, but not talking to.
Syntax.
Question 10
According to the standard convention about binding priorites, the formula, p q r, is implicity one of the following. Which?
 (( p) ( p)) r
 ( p) (q r)
 ( p (q r))
 ( p) (( q ) r)
 ( p (( q ) r ))
Question 11
Which of the following formulas has the parse tree:
 ( p q) (p q).
 (p q) ( p q).
 ( p q) (p q).
 (p q) (p q).
 None of the above.
Natural deduction.
Question 12
Which of the following is a correct proof of,
p q r p q?
Question 13
Which of the sequents below are valid, i.e. have
a natural deduction proof?
(You do not need to state a proof.)
 p q r, q r
 p q r, q p
 p q r, q, r p
 p q q p
 p q p q
Question 14
Which of the following statements about Natural Deduction is true ?
 p p cannot be proved in natural deduction.
 The rules Modus Tollens (MT) and Reductio ad absurdum (RAA) cannot be derived from the rules i and e alone.
 Boxes are not used to delineate the scope of assumptions.
 Contradictions don't play an important role in natural deduction.
 None of the above.
Question 15
Which of the following are valid sequents?
 p q r, p, r q.
 p q r, p, q r.
 p q r, q, r p.
 p q r, q, r p.
 None of the above.
Question 16
The following is allegedly an incomplete proof of the sequent p (q r), q, r p.
1 


p (q r) 
premise 

2 


q 
premise 

3 


r 
premise 







4 


p 
assumption 


































p 
i 

 The proof so far is correct; and a possible next step is to derive r by e on lines 1 and 2.
 The proof so far is correct; and a possible next step is to derive q r by e on lines 1 and 4.
 The proof so far is incorrect, because the at the end of the box should be q r.
 The proof so far is incorrect, because the assumption of p at line 4 should be an assumption of q r.
 None of the above.
Back to chapter index.