A formula of a formal language is a valid formula if and only if it is true under every possible interpretation of the language.
تكون صيغة أي لغة رسمية صيغة صحيحة فقط إذا كانت صحيحة تحت كل تفسير ممكن للغة.