谓词合适公式的定义
时间: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)求得的那些公式,才是合适公式。 |
在谓词演算中合适公式的递归定义如下: (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)求得的那些公式,才是合适公式。 |
人