Well-formed formula

This diagram shows the syntactic entities which may be constructed from formal languages. The symbols and strings of symbols may be broadly divided into nonsense and well-formed formulas. A formal language can be thought of as identical to the set of its well-formed formulas. The set of well-formed formulas may be broadly divided into theorems and non-theorems.

In mathematical logic, a well-formed formula, shortly wff, often simply formula, is a word (i.e. a finite sequence of symbols from a given alphabet) that is part of a formal language. A formal language can be considered to be identical to the set containing all and only its formulas.

单词	Logical formula
释义	Logical formula 英语百科 Well-formed formula In mathematical logic, a well-formed formula, shortly wff, often simply formula, is a word (i.e. a finite sequence of symbols from a given alphabet) that is part of a formal language. A formal language can be considered to be identical to the set containing all and only its formulas.
随便看	minimum headway minimum headway above railway minimum heart rate minimum heat flux minimum height minimum height of fill minimum height of stack minimum height tree minimum hemagglutinating dose minimum hemoagglutinating dose minimum hemolytic minimum hemolytic dilution minimum hemolytic dose minimum hold circuit minimum holding altitude minimum honing diameter minimum honing diameter of hole minimum hop minimum hop path minimum horse power minimum idling speed minimum idling stabilized speed minimum idstance decoder minimum igniting current minimum igniting current, MIC

Logical formula

Well-formed formula