Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.
If P(c) is true, then ∃x P(x) is inferred.
The inverse of existential elimination
All instances of the given constant symbol are replaced by the new variable symbol
Note that the variable symbol cannot already exist anywhere in the expression
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License