Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03133387n
Noun Concept
Categories: Articles with short description, Formal languages, Mathematical logic, Syntax (logic), Logical expressions
EN
well-formed formula  formula  Layman Allen  Logical expression  Logical formula
EN
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. Wikipedia
Definitions
Relations
Sources
EN
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. Wikipedia
A word that is part of a formal language, in logic Wikipedia Disambiguation
A string that is generated by a formal grammar in logic Wikipedia Disambiguation
Finite sequence of symbols from a given alphabet that is part of a formal language Wikidata
IS A
logical formula
PART OF
formal language
HAS KIND
propositional formula
sentence
atomic formula
canonical normal form
open formula
HAS INSTANCE
negation normal form
DIFFERENT FROM
logical formula
Wikipedia
EN
well-formed formula
Wikidata
EN
well-formed formula
Wikipedia Redirections
EN
formula (logic), Layman Allen, Logical expression, Logical formula, quantifier-free formula, subformula, Well-formed formulae, well-formed formulas, well formed formula, Well formed formulae, WFF'n'Proof
Wikidata Alias
EN
WFF

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License