Existential instantiation
विधेय तर्क में, अस्तित्वगत तात्कालिकता (जिसे अस्तित्वगत उन्मूलन भी कहा जाता है) अनुमान का एक नियम है जो कहता है कि, रूप के एक सूत्र को देखते हुए, कोई एक नए स्थिर प्रतीक के लिए अनुमान लगा सकता है। नियम में प्रतिबंध हैं कि नियम द्वारा पेश किया गया स्थिरांक c एक नया शब्द होना चाहिए जो प्रमाण में पहले नहीं आया है, और यह प्रमाण के समापन में भी नहीं होना चाहिए। यह भी आवश्यक है कि प्रत्येक उदाहरण जिसके लिए बाध्य है, उसे समान रूप से सी द्वारा प्रतिस्थापित किया जाना चाहिए। यह संकेतन द्वारा निहित है, लेकिन इसके स्पष्ट कथन को अक्सर स्पष्टीकरण से बाहर रखा जाता है। एक औपचारिक संकेतन में, नियम को इस प्रकार दर्शाया जा सकता है कि a एक नया स्थिर प्रतीक है जो प्रमाण में प्रकट नहीं हुआ है। यह भी देखें कि अस्तित्वगत भ्रांति अनुमान के नियमों की सार्वभौमिक तात्कालिकता सूची संदर्भ अनुमान के नियम अनुमानित तर्क