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

من ويكيبيديا، الموسوعة الحرة
اذهب إلى التنقل اذهب إلى البحث

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

مراجع[عدل]

  1. ^ Bosse، Uwe (1993). "An Ehrenfeucht–Fraïssé game for fixpoint logic and stratified fixpoint logic". In Börger، Egon. Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers. Lecture Notes in Computer Science. 702. سبرنجر. صفحات 100–114. ISBN 3-540-56992-8. Zbl 0808.03024. 
  2. ^ Mendelson، Elliott (1964). Introduction to Mathematical Logic. Van Nostrand Reinhold. صفحة 56. 
  3. ^ "First Order Logic", Saint Joseph's University, فيلادلفيا, 1995. نسخة محفوظة 18 يوليو 2017 على موقع واي باك مشين.
Nuvola apps edu mathematics-ar.svg
هذه بذرة مقالة عن الرياضيات بحاجة للتوسيع. شارك في تحريرها.