well-formed formula
Sign in to saveAlso known as WFF
finite sequence of symbols from a given alphabet that is part of a formal language
In the Vinony graph
Vinony's link graph records 467 inbound references to well-formed formula, and connects out to recursive set, free and bound variables and semantic theory of truth.
It is catalogued under topics including Formal languages, Logical expressions and Mathematical logic.
Vinony links it to 16 Wikipedia language editions.
Wikidata facts
- Subclass of
- logical formula
- Part of
- formal language
Show 1 more fact
- different from
- logical formula
Sources (2)
via Wikidata · CC0
Connections
recursive set
Entity
free and bound variables
Entity
semantic theory of truth
Entity
mathematical logic
Entity
propositional calculus
Entity
formal language
Entity
order of operations
Entity
quantifier
Entity
Peano axioms
Entity
first-order logic
Entity
formal system
Entity
alphabet
Entity
automated theorem proving
Entity
semantics of logic
Entity
sentence
Entity
signature
Entity
structure
Entity
satisfiability
Entity
formation rule
Entity
diagram
Entity