合式公式

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

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

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

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

命题逻辑中的合式公式[编辑]

设S是联结词的集合. 由S生成的合式公式定义如下:

  1. 原子公式是由S生成的合式公式.
  2. 若c是S中的0元联结词,则c是由S生成的合式公式.
  3. 若n1,是S中的n元联结词,是由S生成的公式,则是由S生成的合式公式.

谓词逻辑中的合式公式[编辑]

合式公式是按以下规则构成的有穷长符号串:

  1. 每个原子公式是合式公式.
  2. 是合式公式,则是合式公式.
  3. 是合式公式,则是合式公式.
  4. 是合式公式,是变元,则是合式公式.

参见[编辑]

參考文獻[编辑]

外部連結[编辑]

Template:Mathematical logic