ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Essentials of Symbolic Logic

دانلود کتاب ملزومات منطق نمادین

Essentials of Symbolic Logic

مشخصات کتاب

Essentials of Symbolic Logic

دسته بندی: منطق
ویرایش:  
نویسندگان:   
سری:  
ISBN (شابک) : 1551112507, 9781551112503 
ناشر: Broadview Press 
سال نشر: 1998 
تعداد صفحات: 238 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت 

قیمت کتاب (تومان) : 39,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 21


در صورت تبدیل فایل کتاب Essentials of Symbolic Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب ملزومات منطق نمادین نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب ملزومات منطق نمادین

Essentials of Symbolic Logic مقدمه ای مختصر و واضح برای موضوع است. این کتاب بر منطق جمله و منطق محمول تمرکز می کند و زمینه ای کامل در راهبردهای اشتقاق در هر دو فراهم می کند. فصل آخر یک مرور مختصر از سایر رویکردها ارائه می دهد.


توضیحاتی درمورد کتاب به خارجی

Essentials of Symbolic Logic is a concise and clearly written introduction to the topic. The book focuses on sentence logic and predicate logic, and provides a thorough grounding in derivation strategies in both. A final chapter provides a brief overview of other approaches.



فهرست مطالب

Contents......Page 5
§1.1: The Aims of this Book......Page 12
§1.2: Primarily for the Student......Page 14
§1.3: Primarily for the Instructor......Page 15
§2.1: The Fundamentals......Page 18
§2.2: Truth Functions......Page 19
§2.3: Sentence Letters and Symbols......Page 20
§2.4: Metalanguage......Page 22
§2.5: Well-Formed Formulas......Page 23
§2.6: Exercises......Page 24
§2.7: Simple Translation: Negation......Page 25
§2.8: Simple Translation: Conjunction......Page 26
§2.9: Simple Translation: Disjunction......Page 28
§2.10: Simple Translation: The Horseshoe......Page 29
§2.11: Simple Translation: The Triplebar......Page 31
§2.12: Translating Complicated Sentences......Page 32
§2.13: Exercises......Page 35
§2.14: Defining the Operators......Page 37
§2.15: Truth Tables......Page 40
§2.17: Types of Formulas......Page 43
§2.18: Truth-Functional Equivalences......Page 46
§2.20: Arguments......Page 50
§2.21: Exercises......Page 54
§2.22: Translating Arguments......Page 56
§2.23: Exercises......Page 61
§2.24: Summary of Topics......Page 62
§3.1: What a Derivation Is......Page 66
§3.2: Conjunction Introduction......Page 68
§3.3: Conjunction Elimination......Page 70
§3.4: Negation Elimination......Page 72
§3.5: Disjunction Introduction......Page 73
§3.6: Horseshoe Elimination......Page 75
§3.7: Triplebar Elimination......Page 77
§3.8: Exercises......Page 78
§3.9: Constructing Derivations......Page 79
§3.10: Exercises......Page 90
§3.11: Assumptions......Page 91
§3.12: Reiteration......Page 93
§3.13: Horseshoe Introduction......Page 95
§3.14: Triplebar Introduction......Page 99
§3.15: Negation Introduction......Page 102
§3.16: Disjunction Elimination......Page 106
§3.17: Exercises......Page 108
§3.18: More Derivation Construction......Page 110
§3.19: Exercises......Page 123
§3.20: Indirect Proof......Page 124
§3.21: Exercises......Page 132
§3.22: Categorical Derivations......Page 134
§3.23: Exercises......Page 137
§3.24: Summary of Topics......Page 138
§4.1: Individuals and Predicates......Page 144
§4.2: One-Place and Multi-Place Predicates......Page 146
§4.3: Choices in Translation......Page 148
§4.4: Exercises......Page 149
§4.5: Quantifiers......Page 150
§4.6: The Existential Quantifier......Page 151
§4.7: The Universal Quantifier......Page 153
§4.8: Using Both Quantifiers......Page 155
§4.9: Exercises......Page 158
§4.10: People and Things......Page 159
§4.11: Exercises......Page 160
§4.12: Identity......Page 161
§4.13: Translation Problems and Domains......Page 165
§4.14: Exercises......Page 170
§4.15: Arguments in Predicate Logic......Page 171
§4.16: Exercises......Page 174
§4.17: Simple Interpretations......Page 176
§4.18: Exercises......Page 182
§4.19: Summary of Topics......Page 185
§5.1: Predicate Logic Derivations......Page 188
§5.2: Existential Quantifier Introduction......Page 189
§5.3: Universal Quantifier Elimination......Page 192
§5.4: Existential Quantifier Elimination......Page 194
§5.5: Universal Quantifier Introduction......Page 197
§5.6: Identity Introduction......Page 201
§5.7: Identity Elimination......Page 202
§5.8: Exercises......Page 203
§5.9: Derivation Strategies......Page 205
§5.10: Exercises......Page 214
§5.11: More Derivation Strategies......Page 215
§5.12: Exercises......Page 226
§5.13: Categorical Derivations in Predicate Logic......Page 228
§5.15: Summary of Topics......Page 231
§6.1: The Scope of the Text......Page 234
§6.3: The Names of the Rules......Page 235
§6.4: Unfamiliar Terminology and Symbols......Page 236
§6.5: Additional Derivation Rules......Page 239
§6.6: Replacement Rules......Page 240
§6.7: Avoiding Reiteration......Page 241
§6.8: Joint Denial and the Sheffer Stroke......Page 242
§6.9: Consistency and Truth Trees......Page 244
C......Page 250
I......Page 251
M......Page 252
R......Page 253
S......Page 254
W......Page 255




نظرات کاربران