Exercise Contents
 Exercise Three: 3.1 - 3.2 - 3.3
More Exercises

Exercise 3.1

 

1.

Which of the following sequents is correct? Where the sequent is incorrect, give a counterexample.
  (i) [PQ] |= [PQ]
  (ii) [PQ] |= [PQ]
  (iii) [PQ] |= [PQ]
  (iv) [PQ], [RQ] |= [[PR]Q]
  (v) [[PQ] [RQ]] |= [[PR]Q]
  (vi) |= [[PQ][PQ]]
  (vii) |= [[PQ][QP]]
  (viii) [PP] |= Q
  (ix) Q |= [PP]
Answers

 

Print this page
Print this page
BackNext