# قواعد لغة، تحدد كيفية تكوين الصيغ جيدة التكوين (اختصارًا "wff") من الرموز الموجودة في الأبجدية.
# A grammar, which tells how well-formed formulas (abbreviated "wff") are constructed out of the symbols in the alphabet.