requantification: Difference between revisions
mNo edit summary |
m (Text replace - "jbocre: e" to "e") |
||
Line 36: | Line 36: | ||
mu'o mi'e xorxes | mu'o mi'e xorxes | ||
See also [[ | See also [[existential requantification|existential requantification]]. |
Revision as of 11:36, 23 March 2014
from Jboske:
la pycyn cusku di'e
>(what is the official line on requantifying an already quantified
>variable?)
The closest thing to an official line is the last section
of chapter 16, which does not make sense as far as I can tell
The way I interpret requantification is this: The second
time a variable is quantified, there is an implicit
restriction to the same set to which the variable was
restricted the first time. So if the first appearance is
{Q1 da poi broda}, and the second appearance is {Q2 da poi brode},
then this last one is equivalent to {Q2 de poi broda zi'e poi
brode}. Which quantifier Q1 is plays no role in the second
quantification. If Q1 were to play a role (as the Book suggests)
then we would have strange consequences, like {su'o da poi broda}
and {naku no da poi broda}, which should be equivalent, giving
different results for the second quantification
mu'o mi'e xorxes
See also existential requantification.