متغير افتراضي - ويكيبيديا

هذه المقالة يتيمة إذ تصل إليها مقالات أخرى قليلة جدًا. فضلًا، ساعد بإضافة وصلة إليها في مقالات متعلقة بها. (ديسمبر 2021)

جزء من سلسلة مقالات حول
المغالطات المنطقية
عام المنطق الفلسفي الرياضي الاستدلال الحجة المفارقة المغالطة التفكير النقدي
مغالطات صوريَّة في حساب القضايا تأكيد الانفصال تأكيد النتيجة نفي المقدمات مغالطة المغالطة في المكممات الوجودية تأكيد النتيجة استدلال بالأمثلة تبديل محددات الكمية في القياس النفي الضمني المقدمات البحتة وجودية الضرورة الشروط الأربعة قياس باطل الوسط غير المستغرق
مغالطات غير صوريَّة المصادرة على المطلوب الاستدلال الدائري اللغة الانفعالية السؤال مركب الملغوم الاسكتلندي غير الحقيقي قائمة على الربط مأزق مفتعل الحل المثالي إنكار الارتباط ارتباط ملغى التحويل غير الجائز التركيب التفكيك البيئية تجاهل المؤهلات الحادث الحادث العكسي التعميم الخاطئ الدليل المتناقل الانحياز الاستيعاني الالتقاطية ماك نامارا معدل الأساس التزامن العدّ المزدوج التشبيه الخاطئ الاستقراء الكسول الاستثناء الشامل التباس النبرة اشتراك التركيب الاستمرارية الدقة الزائفة تحريك المرمى المنحدر الزلق اقتباس خارج السياق الالتباس اللفظي تكافؤ كاذب إسناد زائف اقتباس خارج السياق رهان لوكي الاسكتلندي غير الحقيقي التجسيم سببيَّة الروحانية الغاضبة [الإنجليزية] الارتباط لا يقتضي السببية مع هذا، وبالتالي بسبب هذا بعد هذا، وبالتالي بسبب هذا المقامر العكس [الإنجليزية] التراجع السبب الأحادي المنحدر الزلق قناص تكساس
مغالطات الارتباط احتكام إلى الجهل مناشدة الحجر الإثبات بالتأكيد تجاهل المطلوب الحجة من السكوت التجاهل المنيع الأخلاقية الطبيعياتية تبرير الرنجة الحمراء خطآن يصنعان صوابا الالتماس الخاص البهلوانية الكلام المبتذل لدي حق في رأيي التوسل بالأكثرية التوسل بالوسط التوسل بالعاطفة الإطراء الشفقة الخوف الحداثة الاشمئزاز مغالطات المنشأ التوسل بالتقاليد التوسل بالحداثة التوسل بالمرجعية التوسل بالنفاق الشخصنة ذنب بالارتباط تسميم البئر التأثيل التوسل بالنتيجة توسل بالقوة تفكير رغبوي
بوابة منطق
ع ن ت

المتغير الافتراضى (ويسمى أيضًا المتغير المرسل أو الحرف المرسل) (بالإنجليزية: Propositional variable)‏ هو مُتغير في المنطق الرياضي، وهو متغير إدخال (يمكن أن يكون صحيحًا أو خاطئاَ). المتغيرات المقترحة هي العناصر الأساسية للصيغ المقترحة وتستخدم في منطق الافتراض ومنطق الترتيب الأعلى ^{[الإنجليزية]}.

تُبنى الصيغ المنطقية غالباً بشكل متكرر من بعض المتغيرات الافتراضية، وبعض من الروابط المنطقية، وبعض محددات الكمية المنطقية. المتغيرات المقترحة هي الصيغ الذرية لمنطق الاقتراح ، وغالباً ما يُشار إليها باستخدام الأحرف الرومانية الكبيرة مثل: P و Q و R.^[1]

في اقتراح منطقي معين يمكن تعريف الصيغة على النحو التالي:

• كل متغير عرضي عبارة عن صيغة.
• بالنظر إلى الصيغة X ، فإن النفي ¬X هو صيغة.
• بالنظر إلى الصيغتين X و Y ، والرابط الثنائي b (مثل الاقتران المنطقي ∧) ، فإن التعبير (X b Y) هو صيغة. (لاحظ الأقواس)

من خلال هذا الاقتراح، يمكن بناء جميع صيغ المنطق الافتراضي من المتغيرات الافتراضية كوحدة أساسية. لا ينبغي الخلط بين المتغيرات المقترحة والمتغيرات الوصفية، والتي تظهر في البديهيات النموذجية لحساب التفاضل والتكامل؛ تتراوح الأخيرة بشكل فعال على الصيغ جيدة التكوين ^{[الإنجليزية]} وغالباً ما يُشار إليها باستخدام أحرف يونانية صغيرة مثل ${\displaystyle \alpha }$, ${\displaystyle \beta }$ و ${\displaystyle \gamma }$

المتغيرات المقترحة التي لا تحتوي على متغيرات كائن مثل x و y مرتبطة بأحرف أصلية مثل Px و xRy، تحتوي بدلاً من ذلك على ثوابت فردية a ، b ، .. وهذه الأخيرة تكون مرفقة بالأحرف الأصلية وهي ثوابت مقترحة Pa ، aRb. هذه الثوابت الافتتاحية هي افتراضات ذرية ، لا تحتوي على عوامل اقتراح.

يحتوي الهيكل الداخلي للمتغيرات الافتراضية على أحرف أصلية مثل P و Q، بالاقتران مع المتغيرات الفردية المقيدة (على سبيل المثال ، x ، y) والثوابت الفردية مثل a و b (مصطلحات فردية من مجال الخطاب D) ، وفي النهاية تأخذ شكل مثل Pa ، aRb (أو مع أقواس ${\displaystyle P(11)}$ and ${\displaystyle R(1,3)}$).^[2]

يُطلق على الاقتراح المنطقي أحياناً منطق الترتيب الصفري نظراً لعدم مراعاة البنية الداخلية على عكس منطق الدرجة الأولى الذي يحلل البنية الداخلية للجمل الذرية.