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