خرید و دانلود نسخه کامل کتاب Introducing Symbolic Logic

توضیحاتی در مورد کتاب

این مقدمه قابل دسترس و کوتاه بر منطق نمادین شامل پوشش منطق جمله و محمول، ترجمه ها، جداول صدق، و اشتقاقات است. سبک جذاب نویسنده این را به غیر رسمی ترین مقدمه برای منطق رسمی تبدیل می کند. موضوعات به روشی محاوره ای و آسان برای خوانندگانی که با ریاضیات یا سیستم های رسمی آشنا نیستند توضیح داده می شود و نویسنده توضیحات صبورانه و خواننده پسند را ارائه می دهد – حتی با کمی طنز.

نیمه اول کتاب به تمام عناصر اساسی منطق جمله می پردازد: پنج پیوند حقیقت-عملکردی، قواعد شکل گیری و ترجمه به این زبان، جداول صدق برای اعتبار، صدق/کاذب منطقی، هم ارزی، سازگاری و مشتقات. نیمه دوم به منطق کمی‌ساز می‌پردازد: دو کمی‌کننده، قواعد شکل‌گیری و ترجمه، که ویژگی‌های منطقی خاصی را با «یافتن یک تفسیر» و اشتقاق‌ها نشان می‌دهند.

تعداد زیادی تمرین پراکنده در سراسر وجود دارد، بیش از بسیاری از متون، که به ترتیب سختی افزایش یافته و شامل کلیدهای پاسخ جداگانه هستند.