منطق الرتبة الأولى

من ويكيبيديا، الموسوعة الحرة

منطق الرتبة الأولى (First-order logic FOL) أو المنطق الإسنادي عبارة عن نظام للمنطق الرياضي يستخدم في الرياضيات و الفلسفة و الذكاء الصناعي و علوم الحاسب. و هو يستخدم في التعبير عن الجمل المنطقية بشكل غير مبهم و بهذا يخالف عن اللغات الطبيعية و التي قد تحتوي على جمل مبهمة. ذلك يسهل الاستنتاج و اجراء العمليات المنطقية على الجمل او المعادلات التي تنشاء باستخدامه.و يعتبر منطق الرتبة الأولى هو تمديد منطق القضايا (منطق العبارات) propositional logic و ذلك بإضافة القياس سواء كان عالمي او وجودي. يعتبر بمنطق الرتبة الثانية تمديد لمنطق الرتبة الأولى و ذلك بإضافة القياس على المجموعات . يدعى منطق الرتبة الأولى أحيانا : بمنطق الرتبة الأولى الإسنادي أو first-order predicate calculus (FOPC .