منطق الترتيب الصفري
منطق الترتيب الصفري (بالإنجليزية: Zeroth-order logic) هو منطق من الدرجة الأولى بدون متغيرات أو محددات كمية. يستخدم بعض المؤلفين عبارة منطق الترتيب الصفري باعتباره مرادفاً لحساب التفاضل والتكامل الافتراضيين،[1] ولكن التعريف البديل يوسع منطق الافتراض عن طريق إضافة الثوابت والعمليات والعلاقات على القيم غير المنطقية. كل لغة ذات ترتيب صفري بهذا المعنى الأوسع تكون كاملة [English] ومضغوطة.[2]
المراجع
- ^ Andrews، Peter B. (2002)، An introduction to mathematical logic and type theory: to truth through proof، Applied Logic Series (ط. Second)، Kluwer Academic Publishers, Dordrecht، ج. 27، ص. 201، DOI:10.1007/978-94-015-9934-4، ISBN:1-4020-0763-9، MR:1932484، مؤرشف من الأصل في 2022-10-22.
- ^ Tao، Terence (2010)، "1.4.2 Zeroth-order logic"، An epsilon of room, II، American Mathematical Society, Providence, RI، ص. 27–31، DOI:10.1090/gsm/117، ISBN:978-0-8218-5280-4، MR:2780010، مؤرشف من الأصل في 2022-10-19.