Existential instantiation
பிரடிகேட் லாஜிக்கில், எக்ஸிஸ்டென்ஷியல் இன்ஸ்டன்டியேஷன் (எக்ஸிஸ்டென்ஷியல் எலிமினேஷன் என்றும் அழைக்கப்படுகிறது) என்பது அனுமானத்தின் ஒரு விதியாகும், இது வடிவத்தின் ஒரு சூத்திரத்தைக் கொடுத்தால், ஒருவர் ஒரு புதிய மாறிலி சின்னத்தை ஊகிக்க முடியும். கட்டுப்படும் ஒவ்வொரு நிகழ்வும் ஒரே மாதிரியாக c ஆல் மாற்றப்பட வேண்டும் என்பதும் அவசியம். இது குறியீட்டால் குறிக்கப்படுகிறது, ஆனால் அதன் வெளிப்படையான அறிக்கை பெரும்பாலும் விளக்கங்களுக்கு வெளியே விடப்படுகிறது. ஒரு முறையான குறியீட்டில், விதி என்பது ஆதாரத்தில் தோன்றாத ஒரு புதிய மாறிலி சின்னமாக இருக்கும் இடத்தில் குறிக்கப்படலாம். மேலும் காண்கஃ அனுமானத்தின் விதிகளின் உலகளாவிய உடனடி பட்டியல் அனுமானத்தின் குறிப்புகள் அனுமானத்தின் விதிகள் முன்கணிப்பு தர்க்கம்