فهرست قواعد استنتاج کیست؟ توضیح بده.
این فهرستی از قواعد استنتاج منطقی است. این قوانین مربوط به فرمول‌های ریاضی هستند.مقدمه.قواعد استنتاج یا قوانین استنتاج، نحوهٔ تبدیل قوانین هستند که می‌توان برای پی بردن به یک نتیجه از یک فرض برای ایجاد یک استدلال استفاده کرد.این مجموعه از قواعد یا قوانین را می‌توان برای به دست آوردن نتایج معتبر استفاده کرد. برای اثبات نیاز به استفاده از همهٔ قواعدِ فهرست نیست."در نماد زیر، از درستی عبارت اول به درستی عبارت دوم پی می‌بریم"قواعد کلاسیک جمله‌های حساب دیفرانسیل و انتگرال.جمله‌های حساب دیفرانسیل و انتگرال همچنین به‌عنوان حساب گزاره‌ای (منطق گزاره‌ای) شناخته شده‌است.قوانین کلاسیک گزاره حساب دیفرانسیل و انتگرال.در زیر قوانین formula_69 است دقیقاً مانند formula_7 به جز داشتن این اصطلاح formula_71 در همه جا formula_7 به متغیر آزاد formula_73است.محدودیت 1: formula_76 یک متغیر است که در formula_77 رخ می‌دهد.محدودیت 2: formula_76 در هر فرضیه یا فرضیات ذکر نشده‌است.محدودیت 1: formula_76 یک متغیر است که در formula_7 رخ می‌دهدمحدودیت ۲: هیچ اتفاق یا محدود از formula_71 در formula_10.محدودیت 3: formula_76 در هر فرضیه یا فرضیات ذکر نشده‌است.جدول: قوانین استنتاج.قوانین فوق را می‌توان در جدول زیر خلاصه کرد. ستون "درست نماً نشان می‌دهد که چگونه به وسیلهٔ قانون نماد تفسیر داده می‌شود.همه قوانین از عملگرهای منطقی استفاده می‌کنند. یک جدول کامل از عملگرهای منطقی با جدول درستی نشان داده شده که تعریفی از همهٔ متغیرهای بولی("p"با "q")است:که در آن T = درست و F = نادرست و ستون هستند عملگرهای منطقی: 0false تناقض; ۱کار نه منطقی و نه; ۲زن صحبت nonimplication; 3با pبا نفی; ۴با مواد nonimplication; 5با qنفی؛ ۶با XORهای منحصر به فرد جدایی; 7NAND سه منطقی NAND; 8و منطقی رابطه; ۹با نقیض یای انحصاری با اگر و تنها اگربا منطقی biconditional; 10با پرسشهای طرح تابع؛ ۱۱اگر/پس منطقی مفهوم; ۱۲با pپروجکشن تابع؛ ۱۳پس از آن/اگر صحبت مفهوم; ۱۴یا منطقی جدایی; ۱۵با درست است گو.هر منطق اپراتور را می‌توان در ادعا در مورد متغیرها و عملیات نشان از قانون اساسی استنباط است. نمونه:ماشین خوبی آموزش دیده و با مردم با استفاده از این نگاه در جدول رویکرد به فراموش پایه استنتاج و برای بررسی اگر دیگر استنتاج (در همان محل) می‌توان به دست آمده.مثال ۱.اجازه دهید ما در نظر گرفتن مفروضات زیر: "اگر باران امروز، پس از آن ما نمی‌خواهد در یک قایق رانی امروز. اگر ما در یک قایق رانی سفر امروز، پس از آن ما را بر روی یک قایق رانی سفر فردا؛ بنابراین (ریاضی نماد برای "بنابراین" است formula_91) اگر باران امروز ما در یک قایق رانی سفر فردا".به استفاده از قواعد استنتاج در جدول بالا ما اجازه formula_92 بود که گزاره "اگر باران امروز" formula_93 بود "ما نمی‌خواهد در یک قایق رانی امروز" و اجازه دهید formula_94 "ما را در یک قایق رانی سفر فردا". سپس این استدلال این است که از فرم:مثال ۲.اجازه دهید ما در نظر پیچیده‌تر مجموعه‌ای از مفروضات: "آن است نه آفتابی امروز و آن را سردتر از دیروز". "ما را به شنا کردن تنها در صورتی از آن آفتابی است" "اگر ما فراموش نمی شنا و سپس ما یک کباب پز" و "اگر ما یک کباب پز، پس از آن ما خواهد بود با غروب آفتاب" منجر به نتیجه‌گیری "ما خواهد بود با غروب آفتاب است."اثبات توسط قوانین استنتاج: اجازه بدهید formula_92 بود که گزاره "آن است که رو به آفتاب امروز" formula_93 گزاره "آن است که سردتر از دیروز" با formula_94 گزاره "ما شناً با formula_98 گزاره "ما یک کباب پز" و formula_99 گزاره "ما خواهد بود با غروب آفتاب". سپس فرضیه تبدیل شده formula_100 و formula_101. با استفاده از شهود ما ما حدس می‌زنیم که این نتیجه ممکن است formula_99. با استفاده از قواعد استنتاج جدول ما می‌توانیم اثبات این حدس به راحتی: