Exercise 7.3

1

Which of the following
could be formalised (translated) as formulae of the predicate calculus,
using Russell's theory of descriptions to translate the underlined
designators. Where it is possible, provide such a translation. (There
is no need to make the translation any more detailed than is required
by the use of Russell's theory.