منطق الترتيب الصفري
Sign in to saveمنطق من الدرجة الأولى بدون متغيرات أو محددات كمية
Wikidata facts
- Subclass of
- first-order logic
Show 1 more fact
- different from
- propositional calculus
Sources (2)
via Wikidata · CC0
Article · العربية
منطق الترتيب الصفري (بالإنجليزية: Zeroth-order logic) هو منطق من الدرجة الأولى بدون متغيرات أو محددات كمية. يستخدم بعض المؤلفين عبارة منطق الترتيب الصفري باعتباره مرادفاً لحساب التفاضل والتكامل الافتراضيين، ولكن التعريف البديل يوسع منطق الافتراض عن طريق إضافة الثوابت والعمليات والعلاقات على القيم غير المنطقية. كل لغة ذات ترتيب صفري بهذا المعنى الأوسع تكون ومضغوطة.
Abstract from DBpedia / Wikipedia · CC BY-SA