متغير افتراضي

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

الاستخدام عدل

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

مثال عدل

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

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

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

حساب القضايا عدل

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

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

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

انظر أيضًا عدل

المراجع عدل

^ "Predicate Logic | Brilliant Math & Science Wiki". brilliant.org (بالإنجليزية الأمريكية). Archived from the original on 2021-08-15. Retrieved 2020-08-20.
^ "Mathematics | Predicates and Quantifiers | Set 1". GeeksforGeeks (بالإنجليزية الأمريكية). 24 Jun 2015. Archived from the original on 2021-10-30. Retrieved 2020-08-20.

قراءة معمقة عدل

Smullyan, Raymond M. First-Order Logic. 1968. Dover edition, 1995. Chapter 1.1: Formulas of Propositional Logic.

[1] "Predicate Logic | Brilliant Math & Science Wiki". brilliant.org (بالإنجليزية الأمريكية). Archived from the original on 2021-08-15. Retrieved 2020-08-20.

[2] "Mathematics | Predicates and Quantifiers | Set 1". GeeksforGeeks (بالإنجليزية الأمريكية). 24 Jun 2015. Archived from the original on 2021-10-30. Retrieved 2020-08-20.

[1]

[2]