منطق الرتبة الثانية

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

منطق الرتبة الثانية هو امتداد لـمنطق الرتبة الأولى، الذي بذاته امتداد لـمنطق القضايا.[1][2][3] يتم التمديد إلى منطق الرتبة الثانية عبر منطق الرتب الأعلى ونظرية النمط. يستخدم منطق الرتبة الأولى فقط تلك المتحولات التي تأخذ قيماً إفرادية من مجال معطى، بينما يحتوى منطق الدرجة الثانية على هذه المتحولات إضافة إلى متحولات تأخذ قيماً كمجالات (وليس قيماً إفرادية) من مجال معطى. على سبيل المثال: تعني أنه من أجل كل مجموعة من القيم الإفرادية ومن أجل كل قيمة إفرادية ، إما ينتمي إلى أو لا ينتمي إليها. يحتوي منطق الرتبة الثانية أيضاً على متحولات تكمم وفقاً لتوابع (دوال). إن كلاً من منطق الرتبة الأولى ومنطق الرتبة الثانية يستخدم مفهوم نطاق الحديث (أو اختصاراً "النطاق" أو "الفضاء"). النطاق هو مجموعة من القيم الإفرادية التي يمكن القيام بالتكميم وفقاً لها.

مراجع[عدل]

  1. ^ "معلومات عن منطق الرتبة الثانية على موقع britannica.com". britannica.com. مؤرشف من الأصل في 3 نوفمبر 2020. الوسيط |CitationClass= تم تجاهله (مساعدة)
  2. ^ "معلومات عن منطق الرتبة الثانية على موقع ncatlab.org". ncatlab.org. مؤرشف من logic الأصل تحقق من قيمة |مسار= (مساعدة) في 3 نوفمبر 2020. الوسيط |CitationClass= تم تجاهله (مساعدة)
  3. ^ "معلومات عن منطق الرتبة الثانية على موقع academic.microsoft.com". academic.microsoft.com. مؤرشف من الأصل في 3 نوفمبر 2020. الوسيط |CitationClass= تم تجاهله (مساعدة)


Nuvola apps edu mathematics-ar.svg
هذه بذرة مقالة عن الرياضيات او موضوع متعلق بها بحاجة للتوسيع. شارك في تحريرها.