صيغة جيدة التكوين

صيغة حسنة البناء أو جيدة التكوين  واختصاراً  إحدى الصيغ البسيطة المُستخدمة في المنطق الرياضي والمنطق الافتراضي والمنطق الأصلي وهي سلسلة محدودة من االرموز التابعة لأبجدية معينة والتي تكون جزء من لغة رسمية.Formulas are a standard topic in introductory logic, and are covered by all introductory textbooks, including Enderton (2001), Gamut (1990), and Kleene (1967) يمكن التعرف على اللغة الرسمية من خلال مجموعة الصيغ، والصيغة هي كائن يحوي معنى دلالي عن طريق التفسير. تًستخدم الصيغ بطريقتين رئيسيتين في منطق الافتراض ومنطق الرتبة الأولى.

 مقدمة 
يتمثل أحد الاستخدامات الرئيسية للصيغ في منطق الافتراض والمنطق الأصلي باعتبار الصيغة سلسلة من الرموز التي السؤال حدث منطقي هل φ صحيح؟، إذا أُنئ أي متغيرات حُرّة في φ يُنشئ متغيرات مقابلة لها في المنطق الرسمي، يمكن تمثيل البراهين بتسلسل الصيغ بخصائص معينة والصيغة النهائية هي ما يُثبت.

على الرغم من أن مصطلح «الصيغة» يمكن استخدامه للعلامات المكتوبة (على سبيل المثال ، على قطعة من الورق أو السبورة)، إلا أنّه يُفهم بشكل أكثر دقة على أنه تسلسل الرموز التي يتم التعبير عنها مع كون العلامات مثالاً مميزاً للصيغة. وبالتالي يمكن كتابة نفس الصيغة أكثر من مرة، وقد تكون الصيغة من حيث المبدأ طويلة جداً بحيث لا يمكن كتابتها على الإطلاق داخل الكون المادي.

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

 حساب القضايا 

مُعادلات المنطق الافتراضي أو حساب القضايا وتُسمى أيضاً First-order logic and automated theorem proving, Melvin Fitting, Springer, 1996   وهي تغيرات مثل . يبدأ الاختيار التعسفي من المتغيرات الافتراضية في الحرف V، والأبجدية تتكون من الأحرف الموجودة في الحرف V إضافة للرموز الموجودة في الرابطة المنطقة وفي الأقوار (و) والتي من المفترض أنّها غير موجودة في الحرف V. ستكون الصيغ عبارة عن تعبيرات معينة (أي سلاسل الرموز) فوق هذه الأبجدية.

تُعرّف الصيغ بشكل استقرائي على النحو التالي:
 كل متغير مُفترض هو في حد ذاته صيغة.
 إذا كانت φ صيغة فإن ¬φ صيغة.
 إذا كانت φ و ψ صيغتين ، و • هي أي رابط ثنائي، إذن (φ • ψ) هي صيغة. هنار يمكن لـِ • أن تكون العوامل المعتادة أي ∨ أو ∧ أو → أو ↔..

يمكن كتابة هذا التعريف أيضاً على هيئة قواعد نحوية رسمية بصيغة ياكوس نور بشرط أن تكون مجموعة المتغيرات محدودة:

باستخدام هذه القواعد فإن تسلسل الرموز

يُعتبر صيغة لأنه صحيح من ناحية القواعد بينما تسلسل الرموز

ليست صيغة لأنها لا تتوافق مع القواعد.

قد يكون من الصعب قراءة صيغة معقدة بسبب تكاثر الأقواس علكن للتخفيف ذلك يُفرض على قواعد الأسبقية (على غرار الترتيب الرياضي للعمليات الحسابية) مثلاً: افتراض الأسبقية (من الأكثر ارتباطاً إلى الأقل ارتباطاً)

1. ¬   2. →  3. ∧  4. ∨، ثم الصيغة

يمكن اختصاره:

لكن هذا مجرد اصطلاح يستخدم لتبسيط التمثيل الكتابي للصيغة. إذا فُرضت الأسبقية على أنها ترابطية من اليسار إلى اليمين (مثلاً) ، بالترتيب التالي: 1. ¬   2. ∧  3. ∨  4. → فستُكتب الصيغة مرّة جديدة (بدون أقواس) على النحو التالي

 انظر أيضا 
 عبارة معرفة جيدا

 قراءة معمقة 










 المراجع 

تصنيف:بناء الجملة (منطق)
تصنيف:تعبير منطقي
تصنيف:لغات شكلية
تصنيف:ما وراء المنطق
تصنيف:منطق
تصنيف:منطق رياضي