Definition, Meaning & Synonyms
wff
Noun
wɪf
Definition
A term used in the context of logic and mathematics, specifically referring to a well-formed formula.
Examples
- The expression ‘P → Q’ is a WFF in propositional logic.
- To determine if a sequence of symbols is a WFF, one must follow the syntactic rules of the logical language.
Meaning
In formal logic, a well-formed formula (WFF) is a string of symbols that is syntactically correct according to the rules of a given logical system.
Synonyms
- Expression
- Formula
- Statement
