جستجوي پيشرفته | کتابخانه مجازی الفبا

ترجمه ماشینی: مملو از مثال‌های بصری مفاهیم، قواعد اشتقاق و استراتژی‌های اثبات، این متن مقدماتی برای دانش‌آموزانی که تجربه قبلی در منطق ندارند ایده‌آل است. منطق نمادین: نحو، معناشناسی و اثبات دانش آموزان را با مفاهیم، تکنیک ها و موضوعات اساسی درگیر در استدلال قیاسی آشنا می کند. آگلر دانش آموزان را از طریق مبانی منطق نمادین با توضیح اصول اساسی دو سیستم کلاسیک، منطق گزاره ای و محمولی راهنمایی می کند. دانش آموزان ترجمه را هم از زبان رسمی به انگلیسی و هم از انگلیسی به زبان رسمی یاد خواهند گرفت. نحوه استفاده از درختان صدق و جداول صدق برای آزمایش گزاره ها برای ویژگی های منطقی. و چگونگی ساخت و استفاده استراتژیک از قوانین اشتقاق در اثبات. این متن این موضوع اغلب گیج کننده را با اثبات های مثال گام به گام، واژه نامه های فصلی از اصطلاحات کلیدی، صدها مسئله تکلیف و راه حل برای تمرین، و خواندن پیشنهادی بیشتر در دسترس تر می کند.