Existential instantiation
پیشن گوئی منطق میں، وجودی فوری (جسے وجودی خاتمہ بھی کہا جاتا ہے) ایک قاعدہ ہے جس میں کہا گیا ہے کہ، شکل کا ایک فارمولا دیئے جانے پر، کوئی نئی مستقل علامت کے لیے اندازہ لگا سکتا ہے۔ اصول میں یہ پابندیاں ہیں کہ قاعدہ کے ذریعے متعارف کرایا گیا مستقل c ایک نئی اصطلاح ہونی چاہیے جو ثبوت میں پہلے نہیں آئی ہے، اور یہ ثبوت کے اختتام میں بھی نہیں ہونی چاہیے۔ یہ بھی ضروری ہے کہ ہر ایک مثال جس کا پابند ہے اسے یکساں طور پر سی سے تبدیل کیا جانا چاہیے۔ اس کا مطلب اشارے سے ہوتا ہے، لیکن اس کے واضح بیان کو اکثر وضاحت سے باہر رکھا جاتا ہے۔ ایک رسمی اشارے میں، اصول کو اس طرح ظاہر کیا جا سکتا ہے جہاں a ایک نئی مستقل علامت ہے جو ثبوت میں ظاہر نہیں ہوئی ہے۔ یہ بھی دیکھیں کہ وجود کی غلط فہمی یونیورسل فوریشن لسٹ آف رولز آف انفریشن ریفرنسز رولز آف انفریشن پیشن گوئی منطق