1
$\begingroup$

Let $been(x,y)$ denote "person x has been to place y."

Express “Every person has been to 2 or more places” using quantifiers and $been(x, y)$.

This one is completely stumping me. I'm sure that I haven't come across this kind of concept before, and can't wrap my head around how I would approach it. I suspect the quantifiers should be $∀x$, $∀y$, and that it may involve negating the statement "every person has been to one or zero places," but that's as far as I can manage to go. Any help greatly appreciated.

  • 0
    Negating "Every person has been to zero or one places" gives "There exists a person who's been to at least two places" – 2017-01-19
  • 1
    Ah, okay, you're right. If I were to follow that path, it should be the negation of "At least one person has been to one or zero places." – 2017-01-19
  • 0
    Yes. Actually, in my set theory book, the symbol $\exists x$ is _defined_ as $\lnot\forall x\lnot$. Other books might do it differently, but nonetheless, it's a generally accepted fact that those two mean the same. – 2017-01-19
  • 0
    http://math.stackexchange.com/questions/2103616/logic-expressions-with-at-least-and-statements This page has the same question. I found the comments on the Op's question most helpful. The question was a surprise to me too. – 2017-01-20

1 Answers 1

4

Try this one: $$ \forall x \in \text{Persons}(\exists y_1, y_2\in \text{Places}(y_1 \neq y_2 \land \text{been}(x, y_1)\land \text{been}(x, y_2)) $$

  • 0
    That's a slightly different symbol convention than my course uses, but based on this concept I stated "$∀x, ∀a, ∀b$, $been(x,a)$^$been(x,b)$^$(a≠b)$." I believe I'm stating the same thing? – 2017-01-20
  • 0
    First off, `\land` (Logic AND) makes the $\land$ symbol. Second, I think you need the $a$ and $b$ to be quantified by $\exists$, not $\forall$. Otherwise, yes. – 2017-01-20
  • 0
    I don't follow why $a$ and $b$ would be quantified by $∃$? The $∀$ says "take any 2 places from the list of all available places," and $a$≠$b$ is specified later. Wouldn't $∃a,$ $∃b$ leave the possibility that some combination of places is NOT valid? Which contradicts the statement. – 2017-01-20
  • 0
    No. If you qualify them with $\forall$, then what you're saying is that "For _any_ person, and _any_ two places, that person has been to those two places, and those two places are not the same". It can be roughly translated to "no place is equal to any other (not even itself), and everyone has been everywhere". If you qualify with $\exists$, you're saying "For every person, there exists two places that are not the same, both of which the person has been to", which is what you want. – 2017-01-20
  • 0
    You're right, my mistake. Marking this as solved, thanks for the help! – 2017-01-20