e/nl/Existentiële instantiatie

Information
instance of	e/Rule of inference

Meaning
Dutch
has gloss	nld: In de predicatenlogica is existentiële instantiatie (EI) een afleidingsregel die uit een propositie over een bepaald object uit het domein een propositie afleidt over een specifiek object in dat domein. Deze propositie maakt gebruik van de existentiekwantor. Formeel verloopt existentiële instantiatie als volgt:
lexicalization	nld: existentiële instantiatie