谓词合适公式的定义

时间:2015-08-26 08:52 来源:自动控制网

    在谓词演算中合适公式的递归定义如下:
    (1) 原子谓词公式是合适公式。
    (2) 若A为合适公式,则～A也是一个合适公式。
    (3) 若A和B都是合适公式,则(A∧B),(A∨B),(A=>B)和(A←→B)也都是合适公式。
    (4) 若A是合适公式,x为A中的自由变元,则(x)A和(x)A都是合适公式。
    (5) 只有按上述规则(1)至(4)求得的那些公式,才是合适公式。