Existential generalization
پیشن گوئی منطق میں، وجودی عمومی کاری (جسے وجودی تعارف بھی کہا جاتا ہے، HI) تخمینہ کا ایک درست قاعدہ ہے جو کسی کو کسی مخصوص بیان، یا ایک مثال سے، ایک مقداری عمومی بیان، یا وجودی تجویز کی طرف جانے کی اجازت دیتا ہے۔ فرسٹ آرڈر منطق میں، یہ اکثر رسمی ثبوتوں میں وجودی مقداری () کے لیے ایک اصول کے طور پر استعمال ہوتا ہے۔ مثال: "روور اپنی دم ہلانا پسند کرتا ہے۔ اس لیے کوئی چیز اپنی دم ہلانا پسند کرتی ہے۔ " مثال: "ایلس نے خود چائے کا کپ بنایا۔ اس لیے ایلس نے کسی کے لیے چائے کا کپ بنایا۔ " مثال: "ایلس نے خود چائے کا کپ بنایا۔ اس لیے کسی نے چائے بنا لی۔ " فچ طرز کیلکولس میں: اس کے تمام آزاد واقعات (یا ان میں سے کچھ) کو تبدیل کرکے کہاں سے حاصل کیا جاتا ہے۔ ولارڈ وان اورمن کوائن کے مطابق، عالمگیر فوری اور وجودی عمومی کاری ایک ہی اصول کے دو پہلو ہیں، کیونکہ یہ کہنے کے بجائے کہ اس کا مطلب ہے، ہم یہ بھی کہہ سکتے ہیں کہ انکار کا مطلب ہے۔ ان دونوں کارروائیوں میں جو اصول شامل ہے وہ مقدار اور واحد بیانات کے درمیان تعلق ہے جو ان سے مثال کے طور پر متعلق ہیں۔ پھر بھی یہ صرف شائستگی کا اصول ہے۔ یہ صرف اس صورت میں ہوتا ہے جہاں ایک اصطلاح کے نام اور، مزید برآں، حوالہ جاتی ہے۔ یہ بھی دیکھیں انفریشن رولز حوالہ جات قیاس آرائی منطق کے قواعد