حساب المحموَلات
حساب محمولات
Calculus of predicates - Calcul des prédicats
حساب المحمولات المحمولة predicate (القضية الخبرية) هي إفادة تصريحية ذات الشكل الرمزي P(x) أو P(x1, …,xn)، بمتغير واحد مثل x أو بعدد من المتغيرات مثل x1, …, xn قيمها غير محددة. وحساب المحمولات calculus of predicates هو دراسة الإفادات التي لمتغيراتها مكممات تحددها. ويقال عن هذا الحساب إنه منطق من المرتبة الأولى لأنه يوجد منطق ذو مرتبة عالية (ثانية أو ثالثة...). اقرأ المزيد »- التصنيف : الرياضيات و الفلك - النوع : علوم - المجلد : المجلدالثامن - رقم الصفحة ضمن المجلد : 283