定义:
项由下列规则形成
(1) 个体常量和个体变量是项。
(2) 若f是n元个体函数且 t1, t2, … tn 是项,则 f(t1, t2, … tn) 也是项。
(3) 所有项都只由(1) (2) 生成。
定义:
原子公式若 P(x1, x2, … xn)是n元谓词, t1, t2, … tn是项,则称 P(t1, t2, … tn)为谓词逻辑的原子公式。
定义:
合式公式
1.原子公式是wff;
2.若A是wff,则(~A)也是;
3.若A、B是wff,且在A、B中同时出现的个体变量同为约束或同为自由,则A∧B、A∨B、A→B、A
«B也是wff;
4.若A是wff,x在A中是自由的,则
"x(A)、
$x(A)也是wff;
5.只有有限次使用上述四条规则形成的才是wff。
可得其文法如下:
Formula -> Formula → Formula | Formula « Formula
| Formula ∧ Formula | Formula ∨ Formula | ~Formula
| "Variable(Formula) | $Variable(Formula)
| Relation
Relation -> RelationSym(TermList)
RelationSym -> Constant
TermList -> Term(,Term)*
Term -> Function
| Variable
| Constant
Function -> FunctionSym(TermList)
FunctionSym -> [a-b]+
Variable -> [a-b]+
Constant -> [A-Z][a-zA-Z]*
posted on 2009-05-28 11:13
lingol 阅读(1670)
评论(5) 编辑 收藏 引用