离散数学中的wff是什么意思

Well-formed formula，可以翻译成：合法的公式。指的是：谓词逻辑中，符合语法的公式。举个例子：

(p → q) ∧ (r ∨ s) 是个合法的公式。但是以下的就不是合法的公式：

(p → q) ∧ (r ∨ )

( → q) ∧ (r ∨ s)

合法公式的定义：

1. 一个符号本身是合法公式，比如：p

2. 如果 φ 是合法公式，那么 ¬φ 也是。

3. 如果 φ 和 ψ 是合法公式，那么 φ ∧ ψ、φ ∨ ψ、φ → ψ、φ ↔ ψ 也是。

Web Foundation Framework(WFF)

提供web应用的基本框架，包括用户注册、管理，角色管理，权限管理，用户日志记录、管理，系统功能模块相应功能等功能来帮助软件开发人员快速地构建一个web应用，可以使开发人员将主要精力放在具体的业务系统上。

原子谓词公式为什么被称为原子谓词公式

项的集合按如下规则递归的定义：

任何常量是项。

任何变量是项。

n ≥ 1 个参数的任何表达式 f(t1,...,tn) （这里的每个参数 ti 都是项，而 f 是 n 价的函数符号） 是项。

闭包条款： 其他东西都不是项。

合式公式

合式公式（通常叫做 wff 或只是公式）按如下规则递归的定义：

简单和复杂谓词 如果 P 是 n ≥ 1 价的关系而 ai 是项，则 P(a1,...,an) 是合式的。如果等式被认为是逻辑的一部分，则 (a1 = a2） 是合式的。所有这个公式都被称为是原子。

归纳条款 I: 如果 φ 是 wff，则 &not；φ 是 wff。

归纳条款 II: 如果 φ 和 ψ 是 wff，则 （φ → ψ） 是 wff。

归纳条款 III: 如果 φ 是 wff 而 x 是变量，则x φ 是 wff。

闭包条款： 其他东西都不是 wff。

---