Brontekst bekijken van Existentiële generalisatie

In de [[predicatenlogica]] is '''existentiële generalisatie''' ('''EG''') een [[afleidingsregel]] die uit een specifiek object uit het [[Domein (logica)|domein]] een [[propositie]] afleidt voor een object in het domein. De afgeleide propositie maakt gebruikt van de [[Kwantor (logica)|existentiekwantor]]. Formeel verloopt existentiële generalisatie als volgt:

:<math>\frac{P(c_{0})}{\exists x \ P(x)}</math>

waarbij ''x'' niet [[Variabele#Gebonden variabele|vrij]] voorkomt in ''P'' en c<sub>0</sub> een object in het domein is: als er een object bekend is waarvoor het predicaat ''P'' geldt dan is er een ''x'' waarvoor ''P'' geldt.

== Zie ook ==
* [[Existentiële instantiatie]]
* [[Universele instantiatie]]
* [[Universele generalisatie]]

[[Categorie:Afleidingsregel]]