Back صيغة جيدة التكوين Arabic Fórmula ben formada Catalan Fórmula bien formada Spanish فرمول خوشفرم Persian Formule logique French נוסחה (לוגיקה) HE Formula ben formata Italian 논리식 Korean Formula bene formata Latin Fórmula bem formada Portuguese
| Part of a series on |
| Formal languages |
|---|
In mathematical logic, propositional logic and predicate logic, a well-formed formula, abbreviated WFF or wff, often simply formula, is a finite sequence of symbols from a given alphabet that is part of a formal language.[1] A formal language can be identified with the set of formulas in the language.
A formula is a syntactic object that can be given a semantic meaning by means of an interpretation. Two key uses of formulas are in propositional logic and predicate logic.
- ^ Formulas are a standard topic in introductory logic, and are covered by all introductory textbooks, including Enderton (2001), Gamut (1990), and Kleene (1967)