توضیحات
The aim of this book is to provide an exposition of elementary formal logic. The course, which is primarily intended for first-year students who have no previous knowledge of the subject, forms a working basis for more advanced reading and is presented in such a way as to be intelligible to the layman. The nature of logic is examined with the gradual introduction of worked samples showing how to distinguish the sound statement from the unsound. Arguments whose soundness cannot be proved by propositional calculus are discussed, and it is shown how formalization can reveal the logical form of arguments. The final section of the book deals with the application of the predicate calculus as applied in various other fields of logic.
————————————————————–
ترجمه ماشینی :
هدف این کتاب ارائه توضیحی از منطق صوری ابتدایی است. این دوره که عمدتاً برای دانش آموزان سال اولی در نظر گرفته شده است که هیچ دانش قبلی در مورد این موضوع ندارند، مبنای کاری برای خواندن پیشرفته تر است و به گونه ای ارائه می شود که برای افراد عادی قابل درک باشد. ماهیت منطق با معرفی تدریجی نمونههای کار شده بررسی میشود که نشان میدهد چگونه میتوان گزاره صدا را از حالت نامطلوب تشخیص داد. استدلالهایی که صحت آنها با حساب گزارهای قابل اثبات نیست مورد بحث قرار میگیرند و نشان داده میشود که چگونه رسمیسازی میتواند شکل منطقی استدلالها را آشکار کند. بخش پایانی کتاب به کاربرد محاسبات محمول در زمینه های مختلف منطق دیگر می پردازد.
tag : دانلود کتاب منطق شروع , Download منطق شروع , دانلود منطق شروع , Download Beginning Logic Book , منطق شروع دانلود , buy منطق شروع , خرید کتاب منطق شروع , دانلود کتاب Beginning Logic , کتاب Beginning Logic , دانلود Beginning Logic , خرید Beginning Logic , خرید کتاب Beginning Logic ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.