e/nl/Universele generalisatie

Information
instance of	e/Rule of inference

Meaning
Dutch
has gloss	nld: In de predicatenlogica is universele generalisatie (UG) een afleidingsregel die uit een willekeurig object uit het domein een algemene propositie afleidt voor alle objecten in het domein. De afgeleide propositie maakt gebruik van de universele kwantor. Formeel verloopt universele generalisatie als volgt:
lexicalization	nld: universele generalisatie