توضیحات
Geared toward college undergraduates new to the subject, this concise introduction to formal logic was written by Alice Ambrose and Morris Lazerowitz, a pair of noted scholars and prolific authors in this field. A preliminary section opens the subject under the heading of truth-functions. Two subsequent parts on quantification and classes, each subdivided into numerous brief specifics, complete the overview.
Suitable for students of philosophy as well as mathematics, the three-part treatment begins with the intuitive development of the standard theory of sentential connectives (called ‘operators’). The theory is further developed with the assistance of truth-tables and ultimately as a logistic system. Part II explores first-order quantification theory. In addition to examining most of the familiar laws that can be expressed by monadic formulas, the text addresses polyadic principles and the theories of identity and descriptions. Part III focuses on elementary concepts of classes, from class membership and class inclusion to the algebra of classes. Each part concludes with a series of exercises.
————————————————————–
ترجمه ماشینی :
این مقدمه مختصر برای منطق رسمی که برای دانشجویان کارشناسی کالج تازه وارد است، توسط آلیس امبروز و موریس لازروویتز، یک جفت محقق برجسته و نویسنده پرکار در این زمینه نوشته شده است. بخش مقدماتی موضوع را تحت عنوان توابع حقیقت باز می کند. دو بخش بعدی در مورد کمی سازی و کلاس ها، که هر کدام به چندین ویژگی مختصر تقسیم می شوند، نمای کلی را کامل می کنند. این درمان سه بخشی که برای دانشجویان فلسفه و همچنین ریاضیات مناسب است، با توسعه شهودی نظریه استاندارد پیوندهای جمله ای (به نام ‘) آغاز می شود. اپراتورها). این نظریه با کمک جداول حقیقت و در نهایت به عنوان یک سیستم لجستیک توسعه می یابد. بخش دوم نظریه کمی سازی مرتبه اول را بررسی می کند. این متن علاوه بر بررسی بیشتر قوانین آشنا که با فرمولهای مونادیک قابل بیان است، به اصول چندگانه و نظریههای هویت و توصیفات میپردازد. بخش سوم بر مفاهیم ابتدایی کلاسها، از عضویت در کلاس و گنجاندن کلاس تا جبر کلاسها تمرکز دارد. هر بخش با یک سری تمرین به پایان می رسد.
tag : دانلود کتاب منطق: نظریه استنتاج صوری , Download منطق: نظریه استنتاج صوری , دانلود منطق: نظریه استنتاج صوری , Download Logic: The Theory of Formal Inference Book , منطق: نظریه استنتاج صوری دانلود , buy منطق: نظریه استنتاج صوری , خرید کتاب منطق: نظریه استنتاج صوری , دانلود کتاب Logic: The Theory of Formal Inference , کتاب Logic: The Theory of Formal Inference , دانلود Logic: The Theory of Formal Inference , خرید Logic: The Theory of Formal Inference , خرید کتاب Logic: The Theory of Formal Inference ,
دیدگاهها
هیچ دیدگاهی برای این محصول نوشته نشده است.