合式公式

形式系統逻辑中,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. 是合式公式,是变元,则是合式公式.

参见

參考文獻

外部連結

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.