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