ورود به حساب

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

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

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

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

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

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


09117307688 اتصال به واتساپ
09117179751 اتصال به واتساپ

در صورت ضروری بودن درخواست با پشتیبان تماس حاصل نمایید، پشتیبانی از طریق واتساپ ممکن است کمی طول بکشد

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

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

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

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

پشتیبانی

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

دانلود کتاب Formalization of logic

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

Formalization of logic

مشخصات کتاب

Formalization of logic

ویرایش:  
نویسندگان:   
سری: Studies in semantics, vol. II 
 
ناشر: HUP 
سال نشر: 1943 
تعداد صفحات: 0 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 1 مگابایت 

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



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

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


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

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


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



فهرست مطالب

Title ......Page 3
Copyright ......Page 4
Preface ......Page 5
Contents ......Page 15
1. Introduction: The Problem of a Full Formalization of Logic ......Page 19
2. The Calculus PC1 ......Page 23
3. Prepositional Connectionsc in PC ......Page 26
4. Forms of PC ......Page 32
5 Elementary Theorems Concerning PC ......Page 35
6 Extensible Rules ......Page 38
7. General Theorems Concerning Disjunction ......Page 43
8. General Theorems Concerning Negationc ......Page 46
9. General Theorems Concerning Other Connectionsc ......Page 49
10. The Normal Truth-Tables (NTT) ......Page 52
11. The Connections in NTT ......Page 57
12. Extensionality ......Page 68
13. Theorems Concerning Particular Connections ......Page 78
14. NTT as an L-true Interpretation for PC ......Page 85
15. Non-Normal Interpretations of Signs of Negationc and Disjunctionc ......Page 89
16. Non-Normal Interpretations in General ......Page 97
17. Examples of Non-Normal Interpretations ......Page 105
18. PC is not a Full Formalization of Prepositional Logic ......Page 110
19. Syntactical Concepts of a New Kind are Required ......Page 113
20. C-Falsity ......Page 117
21. Junctives in Semantics ......Page 120
22. Application of L-Concepts to Junctives ......Page 124
23. Junctives in Syntax ......Page 129
24. Rules of Deduction for Junctives ......Page 138
25. Junctives in Propositional Logic ......Page 143
26. The Calculus PC* ......Page 144
27. PC* is a Full Formalization of Propositional Logic ......Page 146
28. The Functional Calculus (FC) ......Page 151
29. Transfinite Junctives ......Page 158
30. The Calculus FC* ......Page 160
31. FC*1 is a Full Formalization of Functional Logic ......Page 164
32. Involution ......Page 167
BIBLIOGRAPHY ......Page 171
INDEX ......Page 173




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