合式公式 Well-formed formula
（重定向自Well formed formula）
在形式系统与逻辑中，WFF是合式公式（well-formed formula）的缩写。给定一个形式文法，WFF是这个文法生成的任何字符串。
例如，在命题演算中符号串行
是一个WFF，因为它在文法上正确。符号串行
不是WFF，因为它不符合命题演算的文法。
在形式逻辑中，证明是有特定性质的WFF串行，而串行中最终的WFF就是要证明的。
Well formed formula
中文百科
英语百科
Well-formed 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.
- nonwashing plate的意思
- non washing plate and frame filter press的意思
- nonwashing plate and frame filter press的意思
- nonwasted的意思
- nonwasteful的意思
- nonwaste technology的意思
- non waste technology的意思
- nonwasting的意思
- nonwatchers的意思
- nonwater的意思
- nonwaterborne的意思
- nonwatered的意思
- non watered ploughing的意思
- nonwaterlogged的意思
- non waterproof的意思
- nonwaterproof的意思
- nonwaterproofed的意思
- nonwater soluble的意思
- non water soluble contrast agent的意思
- non watertight的意思
- nonwatertight的意思
- nonwater tight的意思
- nonwatertight bulkhead的意思
- nonwatertight floor的意思
- nonwatery的意思