يمثل هذا الكتاب مدخلاً إلى المنطق الرمزي المعاصر ويعرض بأسلوب مبسط ودقيق حساب القضايا. حيث تدرس دلالته وتركيبه. الاستنتاج الطبيعي، هنا. يتناول قواعد الاشتقاق وأنواع البراهين الصورية ثم يتم بناء نسق لحساب القضايا مع براهين صفات هذا النسق. حساب المحمولات يتم إدخاله كتوسيع لحساب القضايا. حيث تدرس دلالته من خلال البناءات التفسيرية وتركيبه.الاستننتاج الطبيعي لحساب المحمولات يقوم على إضافة قواعد اشتقاق جديدة، ثم يتم توسيعه بدراسة مفهوم الهوية وأخيراً يبنى النسق الصوري لحساب المحمولات. تدرس أشجار الصدق كطريقة أخرى فعالة وسلسلة في حساب القضايا لتحديد: أنواع الصيغ. تكافئها، اتساقها وعدم اتساقها. كما يتم تعميمها على حساب المحمولات. إنه أول كتاب باللغة العربية يحوي حلولا مفصلة لمئات التمارين، التي تمثل مساعدة حقيقية للقارئ لتثبيت المعالجات النظرية المعاصرة في هذا الكتاب
الجمعة، 22 فبراير 2019
Home
المنطق الرمزي
المنطق الرياضي
فلسفة
منطق
اسعد الجنابي: المنطق الرمزي المعاصر (نظري و تمارين محلولة) pdf
اسعد الجنابي: المنطق الرمزي المعاصر (نظري و تمارين محلولة) pdf
Tags
# المنطق الرمزي
# المنطق الرياضي
# فلسفة
# منطق
شارك الموضوع
About Ihab_Sohail
منطق
Labels:
المنطق الرمزي,
المنطق الرياضي,
فلسفة,
منطق
الاشتراك في:
تعليقات الرسالة (Atom)
Author Details
Interested in whatever makes me happy :), interested in humans, music, and lots of reading
=//= English teacher & translator, Philosophy teacher, Free lancer
=//= From: Cairo, Egypt
ليست هناك تعليقات:
إرسال تعليق