合式公式

维基百科,自由的百科全书
跳转至: 导航搜索

形式系統逻辑中,WFF合式公式(well-formed formula)的缩写。给定一个形式文法,WFF是这个文法生成的任何字符串。

例如,在命题演算中符号序列((\alpha\rightarrow\beta)\rightarrow(\neg\beta\rightarrow\neg\alpha))是一个WFF,因为它在文法上正确。符号序列((\alpha\rightarrow\beta)\rightarrow(\beta\beta))\alpha))不是WFF,因为它不符合命题演算的文法。

在形式逻辑中,证明是有特定性质的WFF序列,而序列中最终的WFF就是要证明的。

参见[编辑]

外部链接[编辑]