Existential instantiation
ভবিষ্যদ্বাণী যুক্তিতে, অস্তিত্বগত তাৎক্ষণিকতা (যাকে অস্তিত্বগত নির্মূলও বলা হয়) হল অনুমানের একটি নিয়ম যা বলে যে, ফর্মের একটি সূত্র দেওয়া হলে, কেউ একটি নতুন ধ্রুবক প্রতীকের জন্য অনুমান করতে পারে। নিয়মটিতে বিধি রয়েছে যে নিয়ম দ্বারা প্রবর্তিত ধ্রুবক সি অবশ্যই একটি নতুন শব্দ হতে হবে যা প্রমাণের আগে ঘটেনি, এবং এটি প্রমাণের উপসংহারেও ঘটতে হবে না। এটিও প্রয়োজনীয় যে প্রতিটি দৃষ্টান্ত যার সাথে আবদ্ধ তা অবশ্যই সমানভাবে সি দ্বারা প্রতিস্থাপিত হতে হবে। এটি স্বরলিপি দ্বারা বোঝানো হয়, তবে এর স্পষ্ট বিবৃতিটি প্রায়শই ব্যাখ্যার বাইরে থাকে। একটি আনুষ্ঠানিক স্বরলিপিতে, নিয়মটিকে বোঝানো যেতে পারে যেখানে a একটি নতুন ধ্রুবক প্রতীক যা প্রমাণটিতে উপস্থিত হয়নি। আরও দেখুন অস্তিত্বগত ভ্রান্তি অনুমানের নিয়মগুলির সর্বজনীন তাৎক্ষণিক তালিকা রেফারেন্স অনুমানের নিয়ম ভবিষ্যদ্বাণী যুক্তি