Exercise Contents
 Tutorial Two Exercises: 2.1 - 2.2- 2.3 - 2.4 - 2.5- 2.6 - 2.7 - 2.8
More Exercises

Exercise 2.8

 

1

Provide two or more different (non-equivalent) translations (formalisations) to bring out the possible meanings of the following:

Mary went to Rome if John went to Paris and Peter went to Glasgow or Susan went to Leeds.

Use the following abbreviations:

M: Mary went to Rome

J: John went to Paris

P: Peter went to Glasgow

S: Susan went to Leeds

2

What is the scope of each of the (the occurrences of) truth-functors in the following:

[[P[QR]][QS]]

 
Answers

 

 

Print this page
BackNext