谓词公式的归纳法定义 (1)原子谓词公式是谓词公式; (2)若A是谓词公式,则一A也是谓词公式; (3)若A,B都是谓词公式,则(AAB),(AVB),(A→>B),(A<>B) 都是谓词公式; (4)若A是谓词公式,x是任何变元,则(x)A,(彐x)A也都 是谓词公式;谓词公式的归纳法定义 ⑴ 原子谓词公式是谓词公式； ⑵ 若A是谓词公式，则¬A也是谓词公式； ⑶ 若A, B都是谓词公式，则 (AB),(AB),(A→B),(AB) 都是谓词公式； ⑷ 若A是谓词公式，x是任何变元，则(x)A, (x)A也都 是谓词公式；