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



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


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





Print this page