Versie van 31 jul 2013 12:42 bewerken Sjoerddebruin (overleg \| bijdragen) uitgebreid bevestigde gebruikers, Terugdraaiers 40.325 bewerkingen Interwikiconflict ← Oudere bewerking		Versie van 28 jan 2017 00:07 bewerken ongedaan maken De Wikischim (overleg \| bijdragen) uitgebreid bevestigde gebruikers, Uitgezonderden van IP-adresblokkades, Terugdraaiers 161.828 bewerkingen k geen "je"-vormen Nieuwere bewerking →
Regel 15: ==Domein== In dit gedeelte vormt een predicaat het domein over de gebonden variabelen. Zo kan je de beperking ~~opleggen~~worden opgelegd: <math>x \in \mathbb N</math>, dus in spreektaal: "voor alle natuurlijke getallen x". Wanneer het domein leeg is, dat wil zeggen de propositie die het domein beschrijft levert "onwaar" op, levert het predicaat met de alkwantor altijd "waar" op, ongeacht de propositie die daarop volgt. Soms wordt het domein ook weggelaten, dan wordt uitgegaan van het domein "waar". Regel 21: ==Propositie== Hier volgt ook een propositie die iets over alle elementen uit het beschreven domein zegt. ErHierin kunnen ~~hier~~ ook alkwantoren of existentiële kwantoren in voorkomen, zodat jeer een geneste structuur ~~krijgt~~ontstaat. Variabelen die gedeclareerd zijn, zijn bruikbaar in geneste kwantoren, maar niet andersom! ==Voorbeelden==

Universaliteit: verschil tussen versies