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.