Tutorial Contents Tutorial Two: Propositional Calculus: Language - Truth Functors - The Propositional Language - "Implicate" - Stand-alone sentences - Scope More Tutorials One Three Four Five Six Seven

## 1

In each of the following, say whether the second sentence is an acceptable translation of the first. (If it isn't, think of situation in which the sentences would have different truth-values.)
(i) Mary and Jane are women. [Mary is a woman Ù Jane is a woman].
(ii) Mary and Jane are friends. [Mary is a friend Ù Jane is a friend].
(iii) Mary went to visit Jane, who lives next door. [Mary went to visit Jane Ù Jane lives next door].
(iv) Mary went to visit someone who lives next door. [Mary went to visit someone Ù someone lives next door].
(v) Mary and John got married and had three children. [Mary and John got married Ù Mary and John had three children].
(vi) Dumbo is a grey elephant. [Dumbo is an elephant Ù Dumbo is grey].
(vii) Dumbo is a small elephant. [Dumbo is small Ù Dumbo is an elephant].
(viii) Dumbo is an elephant, but quite intelligent. [Dumbo is an elephant Ù Dumbo is quite intelligent].
(ix) Dumbo is a skilful flier. [Dumbo is skilful Ù Dumbo is a flier].