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

(تم التحويل من منطق إسنادي)

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

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

انظر أيضاً


الهامش

وصلات خارجية