Exercise Contents
 Exercise Six: 6.1 - 6.2 - 6.3
More Exercises

Exercise 6.2

 

1

Using the following interpretation:

 

Domain: everything in 12 Main Street, Anytown

 

a: John

 

b: Mary

 

Mx: x is a man

 

Wx: x is a woman

 

Lxy: x likes y

 

Hx: x is human

to formalise the following:

  (i)

The man likes Mary

  (ii)

The person who likes Mary everyone likes.

  (iii)

The man who likes Mary likes the woman who likes John.

  (iv)

John is the man who likes everyone.

  (v)

There is no such person as the man who likes everyone.

  (vi)

If John is the man who likes everyone, he likes Mary.

  (vii)

Something exists.

  (viii)

12 Main Street, Anytown is not empty.

  (ix)

There are at least two things.

  (x)

There are exactly two things.

2.

Using the following interpretation:

 

Domain: People and colleges

 

Ux: x is an undergraduate

 

Cx: x is a college

 

Px: x is reading Philosophy

 

Ex: x is reading Economics

 

Mxy: x is a member of y

 

Txy: x is one of y's tutors

formalise the following:

  (i)

Every undergraduate has a tutor

  (ii)

No tutor has a tutor

  (iii)

Some undergraduates have more than one tutor

  (iv)

No undergraduate is a member of more than one college

  (v)

Some members of different colleges share a tutor

  (vi)

Some members of different colleges share a tutor

  (vii)

Every college has both Philosophy and Economics undergraduates

3.

Using the same interpretation as in question 2, translate the following into English. (Try to make the English as natural as possible.)

  (i)

$x$y[[UxUy][[PxPy][ExEy]]]

  (ii)

$x[[Cx$y[[MyxUy]Py]]"z[[Cz$u[[MuzUu]Pu]]z=x]]

  (iii)

"x[$y[PyTxy]"y[TxyEy]]

  (iv)

$x$y$z$u[Txy[Cz[Cu[z=u[MxzMxu]]]]]

  (v)

$x$y$z$u[Txy[Cz[Cu[z=u[MxzMyu]]]]]

  (vi)

"x[$y[PyTxy]$y[EyTxy]]

  (vii)

$x[["z[PzTxz]"y["z[PzTyz]y=x]] "z[EzTxz]]

 

 

 

Print this page
BackNext