Timeline for "local variables" in first-order formulas
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 11, 2011 at 21:23 | comment | added | Carl Mummert | I considered this in my answer, but it has the same renaming problem in a different place. In this approach, if you begin with $(\exists x)\phi$ and want to remove the quantifier, you have to do a variable substitution to replace $x$ with a variable that can be free in order to obtain a well formed formula. | |
| Oct 11, 2011 at 20:08 | history | answered | François G. Dorais | CC BY-SA 3.0 |