1

The following sentence needs to be translated from english to a proposition using universal and existential quantifiers.

Everyone in this class knows exactly one person that goes to university.

I have been using the following predicates:

let U = all people

let C(x) = x in this class

let K(x,y) = x knows y

let N (y) = y goes to university

My attempt:

∀x (C(x) ∧ N (y) ∧ K(x,y)

Symbols

I am struggling to denote the exactly one portion and keeping the integrity of the sentence.

Community
  • 1
Jessica Tiberio
  • 443
  • 1
    Interpret the sentence in the following way: If $x$ is in this class then $x$ knows $y$ and if $x$ also knows $z$ then $y=z$. –  Feb 04 '18 at 03:41
  • And don't forget to existentially quantify $y$: for every $x$ in the class there exists a $y$ who goes to university. – Fabio Somenzi Feb 04 '18 at 04:27

0 Answers0