فهرست قواعد استنتاج

این فهرستی از قواعد استنتاج منطقی است. این قوانین مربوط به فرمول‌های ریاضی هستند.

## مقدمه
**قواعد استنتاج یا **قوانین استنتاج**، نحوهٔ **تبدیل** قوانین هستند که می‌توان برای پی بردن به یک نتیجه از یک فرض برای ایجاد یک استدلال استفاده کرد.

این مجموعه از قواعد یا قوانین را می‌توان برای به دست آوردن نتایج معتبر استفاده کرد. برای اثبات نیاز به استفاده از همهٔ قواعدِ فهرست نیست.

''در نماد زیر، از درستی عبارت اول به درستی عبارت دوم پی می‌بریم''
: <math>\varphi \vdash \psi\,\!</math>

== قواعد کلاسیک جمله‌های حساب دیفرانسیل و انتگرال ==
جمله‌های [[حساب دیفرانسیل]] و [[انتگرال]] همچنین به‌عنوان [[حساب گزاره‌ای|حساب گزاره‌ای (منطق گزاره‌ای)]] شناخته شده‌است.

=== قوانین برای نفی ===
; برهان آگهی خلف (یا ''نفی مقدمه'')
: <math>\varphi \vdash \psi\,\!</math>
: <math>\underline{\varphi \vdash \lnot \psi}\,\!</math>
: <math>\lnot \varphi\,\!</math>

; برهان آگهی خلف (مربوط به قانون [[اصل طرد ثالث|مستثنی میانه]])
: <math>\lnot \varphi \vdash \psi\,\!</math>
: <math>\underline{\lnot \varphi \vdash \lnot \psi}\,\!</math>
: <math>\varphi\,\!</math>

; Non contradiction (یا ''نفی حذف'')
: <math>\varphi\,\!</math>
: <math>\underline{\lnot \varphi}\,\!</math>
: <math>\psi\,\!</math>

; [[نقیض مضاعف|دو نفی و حذف]]
: <math>\underline{\lnot \lnot \varphi}\,\!</math>
: <math> \varphi\,\!</math>

; [[نقیض مضاعف|دو نفی مقدمه]]
: <math>\underline{\varphi \quad \quad}\,\!</math>
: <math> \lnot \lnot \varphi\,\!</math>

=== قوانین به صورت شرطی ===
; [[قضیه استنتاج|قضیه کسر]] (و یا ''مشروط مقدمه'')
: <math>\underline{\varphi \vdash \psi}\,\!</math>
: <math>\varphi \rightarrow \psi\,\!</math>

; [[وضع مقدم]] (یا ''مشروط حذف'')
: <math>\varphi \rightarrow \psi\,\!</math>
: <math>\underline{\varphi \quad \quad \quad}\,\!</math>
: <math>\psi\,\!</math>

; [[قیاس نفی تالی|نقیض انتزاع]]
: <math>\varphi \rightarrow \psi\,\!</math>
: <math>\underline{\lnot \psi \quad \quad \quad}\,\!</math>
: <math>\lnot \varphi\,\!</math>

=== قوانین برای حروف ربط ===
; ضمیمه (یا ''رابطه مقدمه'')

: <math>\varphi\,\!</math>
: <math>\underline{\psi \quad \quad \ \ }\,\!</math>
: <math>\varphi \land \psi\,\!</math>
; ساده‌سازی (یا ''حذف پیوستگی'')
: <math>\underline{\varphi \land \psi}\,\!</math>
: <math>\varphi\,\!</math>

: <math>\underline{\varphi \land \psi}\,\!</math>
: <math>\psi\,\!</math>

=== قوانین برای disjunctions ===
; علاوه بر این (و یا ''جدایی مقدمه'')
: <math>\underline{\varphi \quad \quad \ \ }\,\!</math>
: <math>\varphi \lor \psi\,\!</math>

: <math>\underline{\psi \quad \quad \ \ }\,\!</math>
: <math>\varphi \lor \psi\,\!</math>

; مورد تجزیه و تحلیل (یا ''اثبات از طریق موارد'' یا ''استدلال با موارد'')
: <math>\varphi \rightarrow \chi\,\!</math>
: <math>\psi \rightarrow \chi\,\!</math>
: <math>\underline{\varphi \lor \psi}\,\!</math>
: <math>\chi\,\!</math>

; قیاس فصلی
: <math>\varphi \lor \psi\,\!</math>
: <math>\underline{\lnot \varphi \quad \quad}\,\!</math>
: <math>\psi\,\!</math>

: <math>\varphi \lor \psi\,\!</math>
: <math>\underline{\lnot \psi \quad \quad}\,\!</math>
: <math>\varphi\,\!</math>

; معضل سازنده
: <math>\varphi \rightarrow \chi\,\!</math>
: <math>\psi \rightarrow \xi\,\!</math>
: <math>\underline{\varphi \lor \psi}\,\!</math>
: <math>\chi \lor \xi \,\!</math>

=== قوانین برای دو شرطی‌ها ===
; معرفی دو شرطی
: <math>\varphi \rightarrow \psi\,\!</math>
: <math>\underline{\psi \rightarrow \varphi}\,\!</math>
: <math>\varphi \leftrightarrow \psi\,\!</math>

; حذف دو شرطی
: <math>\varphi \leftrightarrow \psi\,\!</math>
: <math>\underline{\varphi \quad \quad}\,\!</math>
: <math>\psi\,\!</math>

: <math>\varphi \leftrightarrow \psi\,\!</math>
: <math>\underline{\psi \quad \quad}\,\!</math>
: <math>\varphi\,\!</math>

: <math>\varphi \leftrightarrow \psi\,\!</math>
: <math>\underline{\lnot \varphi \quad \quad}\,\!</math>
: <math>\lnot \psi\,\!</math>

: <math>\varphi \leftrightarrow \psi\,\!</math>
: <math>\underline{\lnot \psi \quad \quad}\,\!</math>
: <math>\lnot \varphi\,\!</math>

: <math>\varphi \leftrightarrow \psi\,\!</math>
: <math>\underline{\psi \lor \varphi}\,\!</math>
: <math>\psi \land \varphi \,\!</math>

: <math>\varphi \leftrightarrow \psi\,\!</math>
: <math>\underline{\lnot \psi \lor \lnot \varphi}\,\!</math>
: <math>\lnot \psi \land \lnot \varphi \,\!</math>

== قوانین کلاسیک [[حساب محمولات|گزاره حساب دیفرانسیل و انتگرال]] ==
در زیر قوانین <math>\varphi(\beta / \alpha)\,\!</math> است دقیقاً مانند <math>\varphi\,\!</math> به جز داشتن این اصطلاح <math>\beta\,\!</math> در همه جا <math>\varphi\,\!</math> به متغیر آزاد <math>\alpha\,\!</math>است.
; تعمیم جهانی (یا مقدمه جهانی)
: <math>\underline{\varphi{(\beta / \alpha)}}\,\!</math>
: <math>\forall \alpha\, \varphi\,\!</math>
محدودیت 1: <math>\beta</math> یک متغیر است که در <math>\varphi</math> رخ می‌دهد.

محدودیت 2: <math>\beta</math> در هر فرضیه یا فرضیات ذکر نشده‌است.
; نمونه جهانی (یا حذف جهانی)
: <math> \forall \alpha\, \varphi\!</math>
: <math>\overline{\varphi{(\beta / \alpha)}}\!</math>

; تعمیم وجودی (یا مقدمه وجودی)
: <math>\underline{\varphi(\beta / \alpha)}\,\!</math>
: <math>\exists \alpha\, \varphi\,\!</math>

; نمونه وجودی (یا حذف وجودی)
: <math>\exists \alpha\, \varphi\,\!</math>
: <math>\underline{\varphi(\beta / \alpha) \vdash \psi}\,\!</math>
: <math>\psi\,\!</math>
محدودیت 1: <math>\beta</math> یک متغیر است که در <math>\varphi\,\!</math> رخ می‌دهد

محدودیت ۲: هیچ اتفاق یا محدود از <math>\beta\,\!</math> در <math>\psi\,\!</math>.

محدودیت 3: <math>\beta</math> در هر فرضیه یا فرضیات ذکر نشده‌است.

== جدول: قوانین استنتاج ==
قوانین فوق را می‌توان در جدول زیر خلاصه کرد. ستون "درست نماً نشان می‌دهد که چگونه به وسیلهٔ قانون نماد تفسیر داده می‌شود.

همه قوانین از عملگرهای منطقی استفاده می‌کنند. یک جدول کامل از عملگرهای منطقی با جدول درستی نشان داده شده که تعریفی از همهٔ [[جبر بولی|متغیرهای بولی]](''p''با ''q'')است:

که در آن T = درست و F = نادرست و ستون هستند عملگرهای منطقی: **0**false [[تناقض]]; **۱**کار نه [[نقیض یا|منطقی و نه]]; **۲**زن صحبت nonimplication; **3**با **p**با [[نقیض|نفی]]; **۴**با [[نقیض شرطی|مواد nonimplication]]; **5**با **q**نفی؛ **۶**با XORهای [[یای انحصاری|منحصر به فرد جدایی]]; **7**NAND سه منطقی NAND; **8**و [[عطف منطقی|منطقی رابطه]]; **۹**با نقیض یای انحصاری با [[اگر و تنها اگر]]<nowiki/>با [[دوشرطی منطقی|منطقی biconditional]]; **10**با **پرسش**های طرح تابع؛ **۱۱**اگر/پس [[شرطی منطقی|منطقی مفهوم]]; **۱۲**با **p**پروجکشن تابع؛ **۱۳**پس از آن/اگر [[شرطی معکوس|صحبت مفهوم]]; **۱۴**یا [[فصل منطقی|منطقی جدایی]]; **۱۵*'با درست است [[همان‌گو|گو]].

هر منطق اپراتور را می‌توان در ادعا در مورد متغیرها و عملیات نشان از قانون اساسی استنباط است. نمونه:
* ستون-۱۴ اپراتور (یا) نشان می‌دهد *علاوه بر این قانون*: زمانی که *p*=T (فرضیه انتخاب دو خط اول جدول) ما (در ستون-۱۴) که *p*∨*q*=T.
*: ما همچنین می‌توانید ببینید که با همان فرض یکی دیگر از نتایج معتبر هستند: ستون ۱۲, ۱۴ و ۱۵ در حال T.
* ستون-۸ اپراتور (و) نشان می‌دهد، *ساده‌سازی قانون*: زمانی که *p*∧*q*=T (خط اول جدول) ما می‌بینیم که *p*=T.
*: با این فرض ما نیز نتیجه‌گیری کرد که *q*=T, *p*∨*q*=T، به عنوان نشان داد توسط ستون ۹–۱۵.
* ستون-۱۱ اپراتور (اگر/پس از آن) نشان می‌دهد *Modus ponens قانون*: زمانی که *p*→*q*=T و *p*=T فقط یک خط از حقیقت در جدول () صدق این دو شرایط. در این خط *q'' نیز صادق است؛ بنابراین هر زمان که p → q درست است و p درست است و q نیز باید درست باشد.
ماشین خوبی آموزش دیده و با مردم با استفاده از این نگاه در جدول رویکرد به فراموش پایه استنتاج و برای بررسی اگر دیگر استنتاج (در همان محل) می‌توان به دست آمده.

### مثال ۱
اجازه دهید ما در نظر گرفتن مفروضات زیر: "اگر باران امروز، پس از آن ما نمی‌خواهد در یک قایق رانی امروز. اگر ما در یک قایق رانی سفر امروز، پس از آن ما را بر روی یک قایق رانی سفر فردا؛ بنابراین (ریاضی نماد برای "بنابراین" است \therefore) اگر باران امروز ما در یک قایق رانی سفر فردا".
به استفاده از قواعد استنتاج در جدول بالا ما اجازه p بود که گزاره "اگر باران امروز" q بود "ما نمی‌خواهد در یک قایق رانی امروز" و اجازه دهید r "ما را در یک قایق رانی سفر فردا". سپس این استدلال این است که از فرم:

### مثال ۲
اجازه دهید ما در نظر پیچیده‌تر مجموعه‌ای از مفروضات: "آن است نه آفتابی امروز و آن را سردتر از دیروز". "ما را به شنا کردن تنها در صورتی از آن آفتابی است" "اگر ما فراموش نمی شنا و سپس ما یک کباب پز" و "اگر ما یک کباب پز، پس از آن ما خواهد بود با غروب آفتاب" منجر به نتیجه‌گیری "ما خواهد بود با غروب آفتاب است."
اثبات توسط قوانین استنتاج: اجازه بدهید p بود که گزاره "آن است که رو به آفتاب امروز" q گزاره "آن است که سردتر از دیروز" با r گزاره "ما شناً با s گزاره "ما یک کباب پز" و t گزاره "ما خواهد بود با غروب آفتاب". سپس فرضیه تبدیل شده \neg p \wedge q, r \rightarrow p, \neg r \rightarrow s و s \rightarrow t. با استفاده از شهود ما ما حدس می‌زنیم که این نتیجه ممکن است t. با استفاده از قواعد استنتاج جدول ما می‌توانیم اثبات این حدس به راحتی:

## منابع

رده:فهرست‌های ریاضی
رده:فهرست‌های مربوط به فلسفه
رده:قواعد استنتاج
رده:فهرست‌های مربوط به منطق