این مطلب در وبسایت ویکیپدیا قرار داده‌شده. شما به عنوان یک ناشر، کدام‌یک از متن‌های زیر را به عنوان خلاصه انتخاب می‌کنید؟

مقاله: قواعد استنتاج یا قوانین استنتاج، نحوه تبدیل قوانین هستند که می‌توان برای پی بردن به یک نتیجه از یک فرض برای ایجاد یک استدلال استفاده کرد. این مجموعه از قواعد یا قوانین را می‌توان برای به دست آوردن نتایج معتبر استفاده کرد. برای اثبات نیاز به استفاده از همه قواعد فهرست نیست. در نماد زیر، از درستی عبارت اول به درستی عبارت دوم پی می‌بریم جمله‌های حساب دیفرانسیل و انتگرال همچنین به‌عنوان حساب گزاره‌ای (منطق گزاره‌ای) شناخته شده‌است. در زیر قوانین است دقیقا مانند به جز داشتن این اصطلاح در همه‌جا به متغیر آزاد است. محدودیت ۱: یک متغیر است که در رخ می‌دهد. محدودیت ۲: در هر فرضیه یا فرضیات ذکر نشده‌است. محدودیت ۱: یک متغیر است که در رخ می‌دهد محدودیت ۲: هیچ اتفاق یا محدود از در. محدودیت ۳: در هر فرضیه یا فرضیات ذکر نشده‌است. قوانین فوق را می‌توان در جدول زیر خلاصه کرد. ستون " درست نما نشان می‌دهد که چگونه به وسیله قانون نماد تفسیر داده می‌شود. همه قوانین از عملگرهای منطقی استفاده می‌کنند. یک جدول کامل از عملگرهای منطقی با جدول درستی نشان داده‌شده که تعریفی از همه متغیرهای بولی (pبا q) است: که در آن t = درست و f = نادرست و ستون هستند عملگرهای منطقی: ۰ false تناقض; ۱ کار نه منطقی و نه; ۲ زن صحبت nonimplication; ۳ با pبا نفی; ۴ با مواد nonimplication; ۵ با qنفی؛ ۶ با xorهای منحصر به فرد جدایی; ۷ nand سه منطقی nand; ۸ و منطقی رابطه; ۹ با نقیض یای انحصاری با اگر و تنها اگربا منطقی biconditional; ۱۰ با پرسشهای طرح تابع؛ ۱۱ اگر / پس منطقی مفهوم; ۱۲ با pپروجکشن تابع؛ ۱۳ پس از آن / اگر صحبت مفهوم; ۱۴ یا منطقی جدایی; ۱۵ با درست است گو. هر منطق اپراتور را می‌توان در ادعا در مورد متغیرها و عملیات نشان از قانون اساسی استنباط است. نمونه: ستون- ۱۴ اپراتور (یا) نشان می‌دهد علاوه بر این قانون: زمانی که p=t (فرضیه انتخاب دو خط اول جدول) ما (در ستون- ۱۴) که p∨q=t. ما همچنین می‌توانید ببینید که با همان فرض یکی دیگر از نتایج معتبر هستند: ستون ۱۲ , ۱۴ و ۱۵ در حال t. ستون- ۸ اپراتور (و) نشان می‌دهد، ساده‌سازی قانون: زمانی که p∧q=t (خط اول جدول) ما می‌بینیم که p=t. با این فرض ما نیز نتیجه‌گیری کرد که q=t, p∨q=t، به عنوان نشان داد توسط ستون ۹ – ۱۵. ستون- ۱۱ اپراتور (اگر / پس از آن) نشان می‌دهد modus ponens قانون: زمانی که p→q=t و …

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