Tautology (rule of inference)
تجویز کردہ منطق میں، ٹاٹولوجی متبادل کے عام طور پر استعمال ہونے والے دو اصولوں میں سے ایک ہے۔ قواعد کا استعمال اختلاط اور امتزاج میں بے کار پن کو ختم کرنے کے لیے کیا جاتا ہے جب وہ منطقی ثبوتوں میں پائے جاتے ہیں۔ وہ یہ ہیں: اختلاط کی شناخت کا اصول: اور امتزاج کی شناخت کا اصول: جہاں "" ایک دھاتی علامت ہے جو نمائندگی کرتی ہے "کو منطقی ثبوت میں اس کے ساتھ تبدیل کیا جا سکتا ہے۔ رسمی نوٹیشن تھیوریم وہ منطقی فارمولے ہیں جہاں ایک درست ثبوت کا اختتام ہوتا ہے، جبکہ مساوی سیمنٹک نتیجہ ایک ٹاٹولوجی کی نشاندہی کرتا ہے۔ ٹاٹولوجی کے اصول کو ترتیب کے طور پر ظاہر کیا جا سکتا ہے: اور جہاں ایک دھاتی علامت کا مطلب ہے کہ یہ کسی منطقی نظام میں، ایک معاملے میں، دوسرے میں، کا نحو نتیجہ ہے۔ یا قیاس کے اصول کے طور پر: اور جہاں اصول یہ ہے کہ جہاں بھی "" یا "" کی مثال ثبوت کی لائن پر ظاہر ہوتی ہے، اسے "" سے تبدیل کیا جا سکتا ہے ؛ یا سچائی سے متعلق فعال ٹاٹولوجی یا تجویز کردہ منطق کے نظریہ کے بیان کے طور پر۔ اس اصول کو رسل اور وائٹ ہیڈ نے پرنسپیا میتھمیٹکا میں تجویز کردہ منطق کے نظریہ کے طور پر بیان کیا تھا: اور جہاں کسی رسمی نظام میں ایک تجویز کا اظہار کیا گیا ہے۔ پروپوزیشنل منطق میں حوالہ جات کے اصول قیاس کے نظریات