0

I have some fundamental questions about nested quantifiers:

$$\begin{array}{c|ccc}P&1&2&3\\\hline1&T&F&T\\2&T&F&T\\3&T&T&F\end{array}$$

Is $\exists x \forall y\ P(x, y)$ the same as $\exists x \forall y\ P(y, x)$?

  1. What determines the order in which the evaluation happens is it the variables in the parenthesis or is it the order of quantifiers regardless of parenthesis order? If so then how do I interpret that in $\exists x \forall y\ P(y, x)$, $\exists x$ goes first but it is the second variable?

  2. Does existential "player" always wants True and Universal always wants False regardless of the position/order?

  3. For Universal player to pick a column does it have to all be T or F? Or can they pick a mixed column (which would result in a False truth value for their pick)?

grg
  • 1,017
Duxa
  • 109
  • Suppose P(x,y) means "x is the parent of y." Then P(my dad, me) is true, but P(me, my dad) is false. This has nothing to do with quantifiers. – user4894 Sep 10 '16 at 23:39
  • @user4894 I think the OP is referencing the table provided above. – amWhy Nov 22 '16 at 23:46

0 Answers0