صيغة حسنة البناء أو جيدة التكوين (بالإنجليزية: Well-formed formula) واختصاراً (بالإنجليزية: WFF) إحدى الصيغ البسيطة المُستخدمة في المنطق الرياضي والمنطق الافتراضي والمنطق الأصلي وهي سلسلة محدودة من االرموز التابعة لأبجدية معينة والتي تكون جزء من لغة رسمية. يمكن التعرف على اللغة الرسمية من خلال مجموعة الصيغ، والصيغة هي كائن يحوي معنى دلالي عن طريق التفسير. تًستخدم الصيغ بطريقتين رئيسيتين في منطق الافتراض ومنطق الرتبة الأولى.
قراءة المقال الكامل على ويكيبيديا ←