1

How do I express this sentence in predicate logic, when I can pick the domain of discourse myself?

Friends of Michelle's friends are her friends.

I was thinking of picking the domain of discourse Michelle's friends:

So that I would get $\forall x (Fx \rightarrow x) $

$F =$ friends of

Is this correct?

How would I express this?

Thanks in advance, Rope.

Byebye
  • 277
  • @Rope As I see it you got two sensible options. One is to consider the domain of discourse as all people, the other is to consider the domain of discourse as being Michelle's friends. Both of these with the implicit assumption that Michelle is only friend with people and not animals, playstations or whatever. In any of those cases, you need to attribute to Michelle a name in the language. Usually constants are represented by small letters from the beginning of the alphabet, but it is legitimate to pick $m$ for Michelle. Now just formalize it. – Git Gud Jun 02 '14 at 14:10
  • Note that $\forall x(Fx\to \color{blue}x)$ isn't even a well-formed formula. For it to be a well formed formula, $\color{blue}x$ needs to be a constant or a predicate. It is neither. – Git Gud Jun 02 '14 at 14:11
  • Hmm.. I thought that the x wasn't correct. But I don't know how to pick an appropriate domain nor how to show the friends of friends relation in a way that makes sense. – Byebye Jun 02 '14 at 14:20
  • 1
    If the domain is all people, you can formalize it as $\forall x\forall y((Fxm\land Fyx)\to Fym)$, where $Fxy$ is the binary predicate $\text{$x$ is a friend of $y$}$. In loglish (english fused with logic - I've seen Peter Smith use this term): given two people $x$ and $y$, if $x$ is a friend of Michelle and $y$ is a friend of $x$, then $y$ is a friend of Michelle. – Git Gud Jun 02 '14 at 14:25
  • Aaaaah of course! Thanks! (Sorry I didn't read your comment before, I deleted the other comment as it made no sense :).) – Byebye Jun 02 '14 at 14:31
  • @Rope I suggest you post something below as an answer, in your words, so this doesn't come up as unanswered. – Git Gud Jun 02 '14 at 14:34
  • I have one question though. I haven't gotten to the double forall variable's yet. by that I mean the $\forall x \forall y$-part. How would I solve it using just one forall? Is that even possible? – Byebye Jun 02 '14 at 14:38
  • @Rope I don't think it is possible. – Git Gud Jun 02 '14 at 14:49
  • You should precede your messages with @destinarysnamewithoutspaces so people get a notification that someone contacted them. – Git Gud Jun 02 '14 at 14:50
  • @GitGud Ow never mind, Every combination of $\forall$ and $\exists$ was mentioned. The double $\forall$ wasn't mentioned but I think it was implied. – Byebye Jun 02 '14 at 14:52

1 Answers1

0

After the back and forth with GitGud in the comments I got the following answer.

You're allowed to put forth multiple for-all variables (which I didn't consider before).

The domain of discourse has to be all People or all humans.

It follows that for the Friends of relation we can put $Fxy$ as x is a Friend of y. Hence we get:

$$\forall x \forall y((Fxm \wedge Fyx)\rightarrow Fym)$$

$Fxm$ All humans that are not y are friends of michelle.

$Fyx$ all humans that are not x are friends of friends of michelle(stated in the previous predicate)

$\rightarrow$ thus it is the case

$Fym$ that all friends of friends of michelle are friends of michelle

Byebye
  • 277