原子谓词公式为什么被称为原子谓词公式
发布网友
发布时间:2022-04-25 04:08
我来回答
共1个回答
热心网友
时间:2023-10-24 23:04
原子谓词公式为什么被称为原子谓词公式
项的集合按如下规则递归的定义:
任何常量是项。
任何变量是项。
n ≥ 1 个参数的任何表达式 f(t1,...,tn) (这里的每个参数 ti 都是项,而 f 是 n 价的函数符号) 是项。
闭包条款: 其他东西都不是项。
合式公式
合式公式(通常叫做 wff 或只是公式)按如下规则递归的定义:
简单和复杂谓词 如果 P 是 n ≥ 1 价的关系而 ai 是项,则 P(a1,...,an) 是合式的。如果等式被认为是逻辑的一部分,则 (a1 = a2) 是合式的。所有这个公式都被称为是原子。
归纳条款 I: 如果 φ 是 wff,则 ¬;φ 是 wff。
归纳条款 II: 如果 φ 和 ψ 是 wff,则 (φ → ψ) 是 wff。
归纳条款 III: 如果 φ 是 wff 而 x 是变量,则x φ 是 wff。
闭包条款: 其他东西都不是 wff。