المتغير المسند

في المنطق الرياضي ، المتغير المحمول هو حرف محمول يعمل كـ"عنصر نائب" لعلاقة ( بين الحدود)، ولكنه لم يُخصص له أي علاقة (أو معنى) محدد. تشمل الرموز الشائعة للدلالة على المتغيرات المحمولة الأحرف الرومانية الكبيرة مثل${\displaystyle P}$،${\displaystyle Q}$و${\displaystyle R}$أو الأحرف الرومانية الصغيرة، على سبيل المثال،${\displaystyle x}$[ ^{1 ]} في منطق الرتبة الأولى ، يمكن تسميتها بشكل أدق بالمتغيرات اللغوية الوصفية . أما في ^منطق الرتب العليا ، فتُقابل متغيرات المسند متغيرات القضايا التي يمكن أن تُمثل صيغًا سليمة من نفس المنطق، ويمكن تحديد كمية هذه المتغيرات باستخدام (على الأقل) مُكمِّمات الرتبة الثانية .

ينبغي التمييز بين متغيرات المسند وثوابت المسند، والتي يمكن تمثيلها إما بمجموعة مختلفة (حصرية) من حروف المسند، أو برموزها الخاصة التي لها بالفعل معنى محدد في مجال خطابها : على سبيل المثال${\displaystyle =,\ \in ,\ \leq ,\ <,\ \subset ,...}$.

إذا استُخدمت الأحرف لتمثيل كلٍّ من ثوابت المسند ومتغيراته، فلا بد من وجود طريقة للتمييز بينهما. أحد الاحتمالات هو استخدام الأحرف W و X و Y و Z لتمثيل متغيرات المسند، والأحرف A و B و C و ... و _U و V لتمثيل ثوابت المسند. إذا لم تكن هذه الأحرف كافية، فيمكن إضافة أرقام سفلية بعد الحرف المعني (كما في X1 _و X2 و X3 ₎ .

ثمة خيار آخر يتمثل في استخدام الأحرف اليونانية الصغيرة لتمثيل هذه المسندات ذات المتغيرات الفوقية. بعد ذلك، يمكن استخدام هذه الأحرف لتمثيل الصيغ المنطقية الكاملة لحساب المسندات: إذ يمكن دمج أي حدود متغيرة حرة في الصيغة المنطقية الكاملة كحدود للمسند ذي الأحرف اليونانية. هذه هي الخطوة الأولى نحو إنشاء منطق من الرتبة العليا.

إذا لم تُعرَّف متغيرات المسند على أنها تنتمي إلى مفردات حساب المسند، فإنها تُسمى متغيرات فوقية للمسند ، بينما تُسمى بقية المسندات ببساطة "أحرف المسند". وبالتالي، يُفهم أن المتغيرات الفوقية تُستخدم لترميز مخططات البديهيات ومخططات النظريات (المشتقة من مخططات البديهيات).

إن مسألة ما إذا كانت "أحرف المسند" ثوابت أم متغيرات هي مسألة دقيقة: فهي ليست ثوابت بالمعنى نفسه الذي...${\displaystyle =,\ \in ,\ \leq ,\ <,\ \subset ,}$هي ثوابت مسندة، أو أن${\displaystyle 1,\ 2,\ 3,\ {\sqrt {2}},\ \pi ,\ e\ }$هي ثوابت عددية.

إذا كان يُسمح فقط بربط "متغيرات المسند" بأحرف المسند ذات الرتبة الصفرية (التي ليس لها وسائط)، حيث تمثل هذه الأحرف قضايا ، فإن هذه المتغيرات هي متغيرات قضايا ، وأي منطق مسند يسمح باستخدام الكميات من الدرجة الثانية لربط متغيرات القضايا هذه هو حساب مسند من الدرجة الثانية، أو منطق من الدرجة الثانية .

إذا سُمح أيضًا بربط متغيرات المسند بأحرف المسند الأحادية أو ذات الرتبة الأعلى، وعندما تمثل هذه الأحرف وظائف اقتراحية ، بحيث يتم تعيين مجال الوسائط إلى مجموعة من الاقتراحات المختلفة، وعندما يمكن ربط هذه المتغيرات بواسطة الكميات بمجموعات الاقتراحات هذه، فإن النتيجة هي حساب المسند من الرتبة الأعلى، أو منطق الرتبة الأعلى .

• المسند الوظيفي – رمز يمثل مفهومًا رياضيًا. صفحات تعرض أوصافًا مختصرة لأهداف إعادة التوجيه. 
• المتغير الفوقي – متغير يخزن بيانات حول متغيرات أخرى أو بنية البرنامج 
• المتغير الافتراضي – متغير يمكن أن يكون إما صحيحًا أو خاطئًا 

• رودولف كارناب وويليام هـ. ماير. مقدمة في المنطق الرمزي وتطبيقاته. منشورات دوفر (1 يونيو 1958). ISBN 0-486-60453-5