§3.2 一阶调词逻辑表示法 1表示知识的方法 调词逻辑适合于表示事务的状态、属性、概念等事 实性的知识，事务间确定的因果关系 首先确定调词，然后用连词连接 例1设有下列知识：自然数都是大于零的整数 所有整数不是偶数就是奇数 偶数除以2是整数 定义谓词如下： N(x):x是自然数 I(x):x是整数 E(☒)：x是偶数 0(x):x是奇数 GZ(x):x是大于零 S(x):表示x除以2§3.2 一阶谓词逻辑表示法 1 表示知识的方法 谓词逻辑适合于表示事务的状态、属性、概念等事 实性的知识，事务间确定的因果关系 首先确定谓词，然后用连词连接 例1 设有下列知识：自然数都是大于零的整数 所有整数不是偶数就是奇数 偶数除以2是整数 定义谓词如下： N(x):x是自然数 I(x):x是整数 E(x):x是偶数 O(x):x是奇数 GZ(x):x是大于零 S(x):表示x除以2