- #1
Terrell
- 317
- 26
Why is it required to use a "fresh name/variable"? And because of that requirement, Existential instantiation always precedes universal instantiation. What I am thinking is, If we are picking elements at random from our universe of discourse then why can't universal instantiation pick that random element first before existential instantiation does? I would understand the rule that we cannot existentially instantiate more than one element(which will need more than one name/variable) because we can never be sure there is more than one, but the reason EI precedes UI in picking a random element eludes me.