Versie van 4 aug 2012 18:55 bewerken RomaineBot (overleg \| bijdragen) bots, Uitgezonderden van IP-adresblokkades 1.631.771 bewerkingen k Code -> sjabloon ← Oudere bewerking		Versie van 25 aug 2021 12:48 bewerken ongedaan maken Hoopje (overleg \| bijdragen) uitgebreid bevestigde gebruikers 11.574 bewerkingen Vreemde eis, aangezien het een nieuwe constante is. Nieuwere bewerking →
Regel 3: :<math>\frac{\exists x \ P(x)}{P(c_{0})}</math> waarbij c<sub>0</sub> een nieuwe, nog niet eerder gebruikte [[constante (algebra)\|constante]] is~~. Ook moet het predicaat ''P'' gelden voor deze constante~~. Deze redenatie is geldig aangezien we alleen een naam geven aan een bestaande ''x''. Een voorbeeld (met <math>\N</math>, de [[natuurlijke getal]]len als domein): ''"Er is een getal dat deelbaar is door 2. c is deelbaar door 2."''. De constante c is één specifiek getal uit het domein dat deelbaar is door 2. Bij het kiezen van een constante moet een nieuwe constante gekozen worden aangezien het predicaat niet hoeft te gelden voor eerder gebruikte (bekende) constanten. Een nieuw gekozen constante wordt ook wel een ''Skolem constante'' genoemd, vernoemd naar de Noorse wiskundige [[Thoralf Skolem\|Albert Thoralf Skolem]]. Wanneer men een eerder gebruikte constante invult, is het mogelijk ongeldige proposities af te leiden: stel, men ontdekt een getal ''x'' waarvoor geldt:

Existentiële instantiatie: verschil tussen versies