موضوع مقاله: فهرست قواعد استنتاج | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # فهرست قواعد استنتاج | مقدمه: مقدمه قواعد استنتاج یا قوانین استنتاج، نحوهٔ تبدیل قوانین هستند که می‌توان برای پی بردن به یک نتیجه از یک فرض برای ایجاد یک استدلال استفاده کرد. | ## بخش 1: فهرست قواعد استنتاج | این مجموعه از قواعد یا قوانین را می‌توان برای به دست آوردن نتایج معتبر استفاده کرد. در نماد زیر، از درستی عبارت اول به درستی عبارت دوم پی می‌بریم قواعد کلاسیک جمله‌های حساب دیفرانسیل و انتگرال جمله‌های حساب دیفرانسیل و انتگرال همچنین به‌عنوان حساب گزاره‌ای (منطق گزاره‌ای) شناخته شده‌است. قوانین برای نفی برهان آگهی خلف (یا نفی مقدمه) برهان آگهی خلف (مربوط به قانون مستثنی میانه) Non contradiction (یا نفی حذف) دو نفی و حذف دو نفی مقدمه قوانین به صورت شرطی قضیه کسر (و یا مشروط مقدمه) وضع مقدم (یا مشروط حذف) نقیض انتزاع قوانین برای حروف ربط ضمیمه (یا رابطه مقدمه) ساده‌سازی (یا حذف پیوستگی) قوانین برای disjunctions علاوه بر این (و یا جدایی مقدمه) مورد تجزیه و تحلیل (یا اثبات از طریق موارد یا استدلال با موارد) قیاس فصلی معضل سازنده قوانین برای دو شرطی‌ها معرفی دو شرطی حذف دو شرطی قوانین کلاسیک گزاره حساب دیفرانسیل و انتگرال در زیر قوانین است دقیقاً مانند به جز داشتن این اصطلاح در همه جا به متغیر آزاد است. نمونه جهانی (یا حذف جهانی) تعمیم وجودی (یا مقدمه وجودی) نمونه وجودی (یا حذف وجودی) محدودیت 1: یک متغیر است که در رخ می‌دهد محدودیت ۲: هیچ اتفاق یا محدود از در . هر منطق اپراتور را می‌توان در ادعا در مورد متغیرها و عملیات نشان از قانون اساسی استنباط است. نمونه: ستون-۱۴ اپراتور (یا) نشان می‌دهد علاوه بر این قانون: زمانی که p=T (فرضیه انتخاب دو خط اول جدول) ما (در ستون-۱۴) که p∨q=T. | ## بخش 2: فهرست قواعد استنتاج | ما همچنین می‌توانید ببینید که با همان فرض یکی دیگر از نتایج معتبر هستند: ستون ۱۲, ۱۴ و ۱۵ در حال T. ستون-۸ اپراتور (و) نشان می‌دهد، ساده‌سازی قانون: زمانی که p∧q=T (خط اول جدول) ما می‌بینیم که p=T. با این فرض ما نیز نتیجه‌گیری کرد که q=T, p∨q=T، به عنوان نشان داد توسط ستون ۹–۱۵. در این خط q'' نیز صادق است؛ بنابراین هر زمان که p → q درست است و p درست است و q نیز باید درست باشد. ماشین خوبی آموزش دیده و با مردم با استفاده از این نگاه در جدول رویکرد به فراموش پایه استنتاج و برای بررسی اگر دیگر استنتاج (در همان محل) می‌توان به دست آمده. مثال ۱ اجازه دهید ما در نظر گرفتن مفروضات زیر: "اگر باران امروز، پس از آن ما نمی‌خواهد در یک قایق رانی امروز. | ## بخش 3: فهرست قواعد استنتاج | اگر ما در یک قایق رانی سفر امروز، پس از آن ما را بر روی یک قایق رانی سفر فردا؛ بنابراین (ریاضی نماد برای "بنابراین" است ) اگر باران امروز ما در یک قایق رانی سفر فردا". به استفاده از قواعد استنتاج در جدول بالا ما اجازه بود که گزاره "اگر باران امروز" بود "ما نمی‌خواهد در یک قایق رانی امروز" و اجازه دهید "ما را در یک قایق رانی سفر فردا". سپس این استدلال این است که از فرم: مثال ۲ اجازه دهید ما در نظر پیچیده‌تر مجموعه‌ای از مفروضات: "آن است نه آفتابی امروز و آن را سردتر از دیروز". "ما را به شنا کردن تنها در صورتی از آن آفتابی است" "اگر ما فراموش نمی شنا و سپس ما یک کباب پز" و "اگر ما یک کباب پز، پس از آن ما خواهد بود با غروب آفتاب" منجر به نتیجه‌گیری "ما خواهد بود با غروب آفتاب است." اثبات توسط قوانین استنتاج: اجازه بدهید بود که گزاره "آن است که رو به آفتاب امروز" گزاره "آن است که سردتر از دیروز" با گزاره "ما شناً با گزاره "ما یک کباب پز" و گزاره "ما خواهد بود با غروب آفتاب". | ## جمع‌بندی | با استفاده از قواعد استنتاج جدول ما می‌توانیم اثبات این حدس به راحتی: گام دلیل 1.