e/nl/Existentiële generalisatie

Information
instance of	e/Rule of inference

Meaning
Dutch
has gloss	nld: 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:
lexicalization	nld: existentiële generalisatie