合式公式 Well-formed formula
（重定向自Subformula）
在形式系统与逻辑中，WFF是合式公式（well-formed formula）的缩写。给定一个形式文法，WFF是这个文法生成的任何字符串。
例如，在命题演算中符号串行
是一个WFF，因为它在文法上正确。符号串行
不是WFF，因为它不符合命题演算的文法。
在形式逻辑中，证明是有特定性质的WFF串行，而串行中最终的WFF就是要证明的。
Subformula
中文百科
英语百科
Well-formed formula 合式公式
（重定向自Subformula）
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.
- high reflectivity的意思
- high reflux ratio的意思
- high refractive index and low density optical lens blank的意思
- high refractive low dispersive glass的意思
- high refractory brick的意思
- high relaxation的意思
- high reliability的意思
- high reliability components的意思
- high reliability item的意思
- high reliability project的意思
- high reliability relay的意思
- high reliability screening的意思
- high relief的意思
- high relief的意思
- high reluctance interpole的意思
- high remanence的意思
- highremanence的意思
- high removable worktable的意思
- High Renaissance的意思
- high renaissances的意思
- high renin hypertension的意思
- high rented的意思
- highrented的意思
- high repetition laser的意思
- high repetition laser illuminating system的意思