I'm having a hard time grasping how to express english statements with quantifiers; specifically when trying to show "exactly 1" or "exactly 2" or etc. The introduction of numerous variables throws me off guard.
Let $F(x, y)$ be the statement: "$x$ can fool $y$", where the domain consists
of all people in the world. Use quantiers to express each of these
statements.
Example: "There is exactly one person whom everybody can fool":$$\exists y(\forall xF(x,y)\land(\forall z((\forall wF(w,z))\rightarrow y=z))
$$
I understand: $\exists y(\forall F(x,y))$ which means that there's a person $y$ that everyone can fool. However, this doesn't show that he's the only peron that everyone can fool.
Is there a way "systematic" way to build such expressions? And in this case above,why is it that we bring $z,w$ as variables. I'm not quite understanding what is happening after the first part.
Best Answer
Let's start with the given wff as that seems to be causing difficulty, and work towards its translation into English. Then we've reverse the process!
It can help a great deal to go from logic to English (or vice versa) in stages, via "Loglish" -- that unholy mixture of English and symbolism which we cheerfully use in the classroom! So ....
can be read
i.e.
i.e.
i.e.
i.e.
Read this from top to bottom to translate the formal wff into English.
And now read the same sequence from bottom to top to translate in the other direction!!
Taking things in stages like this helps a great deal when first learning to translate in either direction. There are lots more worked examples of this kind involving nested quantifiers in my Introduction to Formal Logic (Ch. 24), with more exercises and answers online. For practice quickly makes perfect: but it does take a bit of practice to make this all seem as easy as it really is. I recall Paul Teller's A Modern Formal Logic Primer is also quite good on translation (his book, now out of print, is freely available from his website).