Well-formed formula,可以翻译成:合法的公式。指的是:谓词逻辑中,符合语法的公式。举个例子:
(p → q) ∧ (r ∨ s) 是个合法的公式。但是以下的就不是合法的公式:
(p → q) ∧ (r ∨ )
( → q) ∧ (r ∨ s)
合法公式的定义:
1. 一个符号本身是合法公式,比如:p
2. 如果 φ 是合法公式,那么 ¬φ 也是。
3. 如果 φ 和 ψ 是合法公式,那么 φ ∧ ψ、φ ∨ ψ、φ → ψ、φ ↔ ψ 也是。
温馨提示:答案为网友推荐,仅供参考