لیست قوانین استنتاج

این یک لیست از قوانین استنتاج منطقی است، این قوانین مربوط به فرمولهای ریاضی هستند.
مقدمه
قوانین استنتاج نحوه تبدیل قوانین هستند که می‌توانید برای پی بردن به یک نتیجه از یک فرض برای ایجاد یک استدلال استفاده کنید.
این مجموعه از قوانین را می‌توان برای به دست آوردن نتایج معتبر استفاده کرد. برای اثبات نیاز به استفاده از همه قوانین لیست نیست.
در نماد زیر از درستی عبارت اول به درستی عبارت دوم پی می‌بریم
قوانین کلاسیک جمله‌های حساب دیفرانسیل و انتگرال
جمله‌های حساب دیفرانسیل و انتگرال است که همچنین به عنوان منطق گزاره‌ای شناخته شده است.
قوانین برای نفی
برهان آگهی خلف (یا نفی مقدمه)
برهان آگهی خلف (مربوط به قانون مستثنی میانه)
Non contradiction (یا نفی حذف)
دو نفی و حذف
دو نفی مقدمه
قوانین به صورت شرطی
قضیه کسر (و یا مشروط مقدمه)
وضع مقدم (یا مشروط حذف)
نقیض انتزاع
قوانین برای حروف ربط
ضمیمه (یا رابطه مقدمه)
ساده‌سازی (یا حذف پیوستگی)
قوانین برای disjunctions
علاوه بر این (و یا جدایی مقدمه)
مورد تجزیه و تحلیل (یا اثبات از طریق موارد یا استدلال با موارد)
قیاس فصلی
معضل سازنده
قوانین برای دو شرطی‌ها
معرفی دو شرطی
حذف دو شرطی
قوانین کلاسیک گزاره حساب دیفرانسیل و انتگرال
در زیر قوانین است دقیقا مانند به جز داشتن این اصطلاح در همه جا به متغیر آزاد است.
تعمیم جهانی (یا مقدمه جهانی)
محدودیت 1: یک متغیر است که در رخ می‌دهد.
محدودیت 2: در هر فرضیه یا فرضیات ذکر نشده است.
نمونه جهانی (یا حذف جهانی)
تعمیم وجودی (یا مقدمه وجودی)
نمونه وجودی (یا حذف وجودی)
محدودیت 1: یک متغیر است که در رخ می‌دهد
محدودیت ۲: هیچ اتفاق یا محدود از در .
محدودیت 3: در هر فرضیه یا فرضیات ذکر نشده است.
جدول: قوانین استنتاج
قوانین فوق را می‌توان در جدول زیر خلاصه کرد. ستون "درست نما نشان می‌دهد که چگونه به وسیله قانون نماد تفسیر داده می‌شود.
Rules of inference
Tautology
Name
\begin{align
p\\
p \rightarrow q\\
\therefore \overline{q \quad \quad \quad \\
\end{align
Modus ponens
\begin{align
\neg q\\
p \rightarrow q\\
\therefore \overline{\neg p \quad \quad \quad \\
\end{align
Modus tollens
\begin{align
(p \vee q) \vee r\\
\therefore \overline{p \vee (q \vee r) \\
\end{align
Associative
\begin{align
p \wedge q\\
\therefore \overline{q \wedge p \\
\end{align
Commutative
\begin{align
p \rightarrow q\\
q \rightarrow p\\
\therefore \overline{p \leftrightarrow q \\
\end{align
Law of biconditional propositions
\begin{align
(p \wedge q) \rightarrow r\\
\therefore \overline{p \rightarrow (q \rightarrow r) \\
\end{align
Exportation
\begin{align
p \rightarrow q\\
\therefore \overline{\neg q \rightarrow \neg p \\
\end{align
Transposition or contraposition law
\begin{align
p \rightarrow q\\
q \rightarrow r\\
\therefore \overline{p \rightarrow r \\
\end{align
Hypothetical syllogism
\begin{align
p \rightarrow q\\
\therefore \overline{\neg p \vee q \\
\end{align
Material implication
\begin{align
(p \vee q) \wedge r\\
\therefore \overline{(p \wedge r) \vee (q \wedge r) \\
\end{align
Distributive
\begin{align
p \rightarrow q\\
\therefore \overline{p \rightarrow (p \wedge q) \\
\end{align
Absorption
\begin{align
p \vee q \\
\neg p \\
\therefore \overline{q \quad \quad \quad \\
\end{align
Disjunctive syllogism
\begin{align
p \\
\therefore \overline{p \vee q \\
\end{align
Addition
\begin{align
p \wedge q \\
\therefore \overline{p \quad \quad \quad \\
\end{align
Simplification
\begin{align
p\\
q\\
\therefore \overline{p \wedge q \\
\end{align
Conjunction
\begin{align
p\\
\therefore \overline{\neg \neg p \\
\end{align
Double negation
\begin{align
p \vee p \\
\therefore \overline{p \quad \quad \quad \\
\end{align
Disjunctive simplification
\begin{align
p \vee q \\
\neg p \vee r \\
\therefore \overline{q \vee r \\
\end{align
Resolution
همه قوانین از عملگرهای منطقی استفاده می‌کنند. یک جدول کامل از عملگرهای منطقی با جدول درستی نشان داده شده که تعریفی از همه متغیرهای بولی(pبا q)است:
p
q
0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
T
T
F
F
F
F
F
F
F
F
T
T
T
T
T
T
T
T
T
F
F
F
F
F
T
T
T
T
F
F
F
F
T
T
T
T
F
T
F
F
T
T
F
F
T
T
F
F
T
T
F
F
T
T
F
F
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
که در آن T = درست و F = نادرست و ستون هستند عملگرهای منطقی: 0 false تناقض; ۱ کار نه منطقی و نه; ۲ زن صحبت nonimplication; 3 با p با نفی; ۴ با مواد nonimplication; 5 با q نفی؛ ۶ با XORهای منحصر به فرد جدایی; 7 NAND سه منطقی NAND; 8 و منطقی رابطه; ۹ با نقیض یای انحصاری با اگر و تنها اگر با منطقی 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 نیز باید درست باشد.
ماشین خوبی آموزش دیده و با مردم با استفاده از این نگاه در جدول رویکرد به فراموش پایه استنتاج و برای بررسی اگر دیگر استنتاج (در همان محل) می‌توان به دست آمده.
مثال ۱
اجازه دهید ما در نظر گرفتن مفروضات زیر: "اگر باران امروز، پس از آن ما نمی‌خواهد در یک قایق رانی امروز. اگر ما در یک قایق رانی سفر امروز، پس از آن ما را بر روی یک قایق رانی سفر فردا؛ بنابراین (ریاضی نماد برای "بنابراین" است ) اگر باران امروز ما در یک قایق رانی سفر فردا".
به استفاده از قواعد استنتاج در جدول بالا ما اجازه بود که گزاره "اگر باران امروز" بود "ما نمی‌خواهد در یک قایق رانی امروز" و اجازه دهید "ما را در یک قایق رانی سفر فردا". سپس این استدلال این است که از فرم:
مثال ۲
اجازه دهید ما در نظر پیچیده‌تر مجموعه‌ای از مفروضات: "آن است نه آفتابی امروز و آن را سردتر از دیروز". "ما را به شنا کردن تنها در صورتی از آن آفتابی است" "اگر ما فراموش نمی‌شنا و سپس ما یک کباب پز" و "اگر ما یک کباب پز، پس از آن ما خواهد بود با غروب آفتاب" منجر به نتیجه‌گیری "ما خواهد بود با غروب آفتاب است."
اثبات توسط قوانین استنتاج: اجازه بدهید بود که گزاره "آن است که رو به آفتاب امروز" گزاره "آن است که سردتر از دیروز" با گزاره "ما شنا با گزاره "ما یک کباب پز" و گزاره "ما خواهد بود با غروب آفتاب". سپس فرضیه تبدیل شده و . با استفاده از شهود ما ما حدس می‌زنیم که این نتیجه ممکن است . با استفاده از قواعد استنتاج جدول ما می‌توانیم اثبات این حدس به راحتی:
گام
دلیل
1.
فرضیه
2.
ساده‌سازی با استفاده از گام ۱
3.
فرضیه
4.
Modus tollens با استفاده از مرحله ۲ و ۳
5.
فرضیه
6.
Modus ponens با استفاده از مرحله ۴ و ۵
7.
فرضیه
8.
Modus ponens با استفاده از گام ۶ و ۷