| ||||||||||||||||||||||||||||||
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«[QÚ¬¬R]]®[QÙS]] |
|
