Existentiële generalisatie

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

$\frac{P(c_0)}{\mathrm{\exists }xP(x)}$

waarbij x niet vrij voorkomt in P en c₀ 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