عرض مصدر متغير افتراضي

{{يتيمة|تاريخ=ديسمبر 2021}}
{{شريط جانبي المغالطات المنطقية}}
'''المتغير الافتراضى (ويسمى أيضًا المتغير المرسل أو الحرف المرسل)''' {{إنج|Propositional variable}} هو مُتغير في [[منطق رياضي|المنطق الرياضي]]، وهو متغير إدخال (يمكن أن يكون صحيحًا أو خاطئاَ). المتغيرات المقترحة هي العناصر الأساسية للصيغ المقترحة وتستخدم في منطق الافتراض و{{وإو|منطق الترتيب الأعلى|Higher-order logic}}.

== الاستخدام ==
تُبنى الصيغ المنطقية غالباً بشكل متكرر من بعض المتغيرات الافتراضية، وبعض من [[رابطة منطقية|الروابط المنطقية]]، وبعض محددات [[مكمم|الكمية المنطقية]]. المتغيرات المقترحة هي [[جملة ذرية|الصيغ الذرية]] لمنطق الاقتراح ، وغالباً ما يُشار إليها باستخدام الأحرف الرومانية الكبيرة مثل: P و Q و R.<ref>{{استشهاد بويب|عنوان=Predicate Logic {{!}} Brilliant Math & Science Wiki|مسار=https://brilliant.org/wiki/predicate-logic/|تاريخ الوصول=2020-08-20|موقع=brilliant.org|لغة=en-us| مسار أرشيف = https://web.archive.org/web/20210815200206/https://brilliant.org/wiki/predicate-logic/ | تاريخ أرشيف = 15 أغسطس 2021 }}</ref>

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

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

من خلال هذا الاقتراح، يمكن بناء جميع صيغ المنطق الافتراضي من المتغيرات الافتراضية كوحدة أساسية. لا ينبغي الخلط بين المتغيرات المقترحة والمتغيرات الوصفية، والتي تظهر في البديهيات النموذجية لحساب [[تفاضل|التفاضل]] و[[تكامل|التكامل]]؛ تتراوح الأخيرة بشكل فعال على {{وإو|الصيغ جيدة التكوين|Well-formed formula}} وغالباً ما يُشار إليها باستخدام أحرف يونانية صغيرة مثل <math>\alpha</math>, <math>\beta</math> و <math>\gamma</math>

== حساب القضايا ==

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

يحتوي الهيكل الداخلي للمتغيرات الافتراضية على أحرف أصلية مثل P و Q، بالاقتران مع المتغيرات الفردية المقيدة (على سبيل المثال ، x ، y) والثوابت الفردية مثل a و b (مصطلحات فردية من مجال الخطاب D) ، وفي النهاية تأخذ شكل مثل Pa ، aRb (أو مع أقواس <math>P(11)</math> and <math>R(1, 3)</math>).<ref>{{استشهاد بويب|تاريخ=2015-06-24|عنوان=Mathematics {{!}} Predicates and Quantifiers {{!}} Set 1|مسار=https://www.geeksforgeeks.org/mathematic-logic-predicates-quantifiers/|تاريخ الوصول=2020-08-20|موقع=GeeksforGeeks|لغة=en-US| مسار أرشيف = https://web.archive.org/web/20211030195137/https://www.geeksforgeeks.org/mathematic-logic-predicates-quantifiers/ | تاريخ أرشيف = 30 أكتوبر 2021 }}</ref>

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

== انظر أيضًا ==
{{div col|colwidth=22em}}
* [[جبر بول]]
* [[نوع البيانات المنطقية]]
* [[مجال منطقي|نطاق منطقي]]
* [[دالة بوليانية]]
* [[قيمة صواب]]
* {{وإو|المتغير المسند|Predicate variable}}
* [[حساب القضايا]]
{{div col end}}

== المراجع ==
{{مراجع|محاذاة=نعم}}
=== قراءة معمقة ===
<div style="direction: ltr;">
{{بداية المراجع}}
* Smullyan, Raymond M. ''First-Order Logic''. 1968. Dover edition, 1995. Chapter 1.1: Formulas of Propositional Logic.
</div>
{{نهاية المراجع}}
{{شريط بوابات|منطق|رياضيات|علم|فلسفة}}
{{حقيقة منطقية}}
{{منطق رياضي}}

[[تصنيف:حساب القضايا]]
[[تصنيف:رموز المنطق]]
[[تصنيف:رياضيات]]
[[تصنيف:مفاهيم في المنطق]]
[[تصنيف:منطق]]