این فهرستی از منطقی است. این قوانین مربوط به هستند.
 قوانین استنتاج تبدیل 
 این مجموعه از قواعد یا قوانین را می‌توان برای به دست آوردن نتایج معتبر استفاده کرد. برای اثبات نیاز به استفاده از همهٔ قواعدِ فهرست نیست.
 
 جمله‌های و همچنین به‌عنوان شناخته شده‌است.
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 در زیر قوانین است دقیقاً مانند به جز داشتن این اصطلاح در همه جا به متغیر آزاد است.
 
 
 محدودیت 1: یک متغیر است که در رخ می‌دهد.
 محدودیت 2: در هر فرضیه یا فرضیات ذکر نشده‌است.
 
 
 
 
 
 
 
 محدودیت 1: یک متغیر است که در رخ می‌دهد
 محدودیت ۲: هیچ اتفاق یا محدود از در .
 محدودیت 3: در هر فرضیه یا فرضیات ذکر نشده‌است.
 قوانین فوق را می‌توان در جدول زیر خلاصه کرد. ستون "درست نماً نشان می‌دهد که چگونه به وسیلهٔ قانون نماد تفسیر داده می‌شود.
 همه قوانین از عملگرهای منطقی استفاده می‌کنند. یک جدول کامل از عملگرهای منطقی با جدول درستی نشان داده شده که تعریفی از همهٔ ( با )است:
 که در آن T = درست و F = نادرست و ستون هستند عملگرهای منطقی: false ; کار نه ; زن صحبت nonimplication; با با ; با ; با نفی؛ با XORهای ; NAND سه منطقی NAND; و ; با نقیض یای انحصاری با با ; با های طرح تابع؛ اگر/پس ; با پروجکشن تابع؛ پس از آن/اگر ; یا ; با درست است .
 هر منطق اپراتور را می‌توان در ادعا در مورد متغیرها و عملیات نشان از قانون اساسی استنباط است. نمونه:
 
 
 ماشین خوبی آموزش دیده و با مردم با استفاده از این نگاه در جدول رویکرد به فراموش پایه استنتاج و برای بررسی اگر دیگر استنتاج (در همان محل) می‌توان به دست آمده.
 اجازه دهید ما در نظر گرفتن مفروضات زیر: "اگر باران امروز، پس از آن ما نمی‌خواهد در یک قایق رانی امروز. اگر ما در یک قایق رانی سفر امروز، پس از آن ما را بر روی یک قایق رانی سفر فردا؛ بنابراین (ریاضی نماد برای "بنابراین" است ) اگر باران امروز ما در یک قایق رانی سفر فردا".
به استفاده از قواعد استنتاج در جدول بالا ما اجازه بود که گزاره "اگر باران امروز" بود "ما نمی‌خواهد در یک قایق رانی امروز" و اجازه دهید "ما را در یک قایق رانی سفر فردا". سپس این استدلال این است که از فرم:
 اجازه دهید ما در نظر پیچیده‌تر مجموعه‌ای از مفروضات: "آن است نه آفتابی امروز و آن را سردتر از دیروز". "ما را به شنا کردن تنها در صورتی از آن آفتابی است" "اگر ما فراموش نمی شنا و سپس ما یک کباب پز" و "اگر ما یک کباب پز، پس از آن ما خواهد بود با غروب آفتاب" منجر به نتیجه‌گیری "ما خواهد بود با غروب آفتاب است."
اثبات توسط قوانین استنتاج: اجازه بدهید بود که گزاره "آن است که رو به آفتاب امروز" گزاره "آن است که سردتر از دیروز" با گزاره "ما شناً با گزاره "ما یک کباب پز" و گزاره "ما خواهد بود با غروب آفتاب". سپس فرضیه تبدیل شده و . با استفاده از شهود ما ما حدس می‌زنیم که این نتیجه ممکن است . با استفاده از قواعد استنتاج جدول ما می‌توانیم اثبات این حدس به راحتی:
{"title": "فهرست قواعد استنتاج", "link": "https://fa.wikipedia.org//w/index.php?title=%D9%81%D9%87%D8%B1%D8%B3%D8%AA_%D9%82%D9%88%D8%A7%D8%B9%D8%AF_%D8%A7%D8%B3%D8%AA%D9%86%D8%AA%D8%A7%D8%AC&oldid=33262305", "language": "fa"}