2-2.3谓词合式么式(WF (Well Formed formulas 定义:谓词合式公式递归定义如下: 1.原子谓词公式是合式公式。 2.如果A是合式公式,则一A也是合式公式 3.如果A、B是合式公式,则(A∧B)、(A∨B) (A→B)、(A<>B)都是合式公式。 4.如果A是合式公式,x是A中的任何客体变元, 则VxA和彐xA也是合式公式。 5.只有有限次地按规则(1)至(4)求得的公式才 是合式公式。 ·谓词合式公式也叫谓词公式,简称公式2-2.3 谓词合式公式(WFF) (Well Formed formulas) • 定义：谓词合式公式递归定义如下： 1.原子谓词公式是合式公式。 2.如果A是合式公式，则A也是合式公式。 3.如果A、B是合式公式，则(A∧B)、(A∨B)、 (A→B)、(AB)都是合式公式。 4.如果A是合式公式，x是Ａ中的任何客体变元， 则xＡ和xＡ也是合式公式。 5.只有有限次地按规则(1)至(4)求得的公式才 是合式公式。 • 谓词合式公式也叫谓词公式，简称公式