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

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

ملف:Nuvola apps edu mathematics-ar.svg

بوابة رياضيات تصفح مقالات ويكيبيديا المهتمة بالرياضيات.

cs:Predikátová logika prvního řádu el:Λογική πρώτου βαθμού First-order logic]] es:Lógica de primer orden he:שפה מסדר ראשון id:Logika predikat tingkat pertama it:Teoria del primo ordine ko:1차 논리 pl:Rachunek predykatów pierwszego rzędu pt:Lógica de primeira ordem ru:Логика первого порядка sr:Логика првог реда sv:Första ordningens logik uk:Логіка першого порядку zh:一阶逻辑