2.2.1表示方法导引 定义谓词如下: N(x):x是自然数 I(x):x是整数 E(x):x是偶数 O(x):x是奇数 CZ(x):x大于零 另外,用函数S(x)表示x除以2。此时,上述三个句子可用 谓词公式表示为: (x)(N(x)→GZ(x)∧I(x) (x)((x)→E(x)VO(x) (x)(E(x)→I(S(x)
定义谓词如下： N（x）：x 是自然数 I（x ）：x 是整数 E（x）：x 是偶数 O（x）：x 是奇数 GZ（x）：x 大于零 另外，用函数S（x）表示x 除以 2 。此时，上述三个句子可用 谓词公式表示为： ( x)(N(x)→GZ(x)∧I(x)) ( x)(I(x)→E(x)∨O(x)) ( x)(E(x)→I(S(x))) 2 . 2 . 1 表示方法导引
2.2.2逻辑表示的结构 我们能够容易地把语言中各种句子表示为逻辑命题, 把各种命题写成合适公式。 例如:雨天表示为 RAINING 晴天表示为 SUNNY 雾天表示为 FOGGY 若为雨天,则 非晴天表示为RAⅠNING→→ SUNNY
我们能够容易地把语言中各种句子表示为逻辑命题， 把各种命题写成合适公式。 例如： 雨天 表示为 RAINING 晴天 表示为 SUNNY 雾天 表示为 FOGGY 若为雨天，则 非晴天 表示为 RAINING→~SUNNY 2 . 2 . 2 逻辑表示的结构
2.2.2逻辑表示的结构 应用这些命题,能够译出“如果天下雨就不是晴天” 的原意。但是,命题逻辑的结构需要规范,例如: 李明是个工人可写为 LIWORKER 如果还要表示 王华也是个工人应写出 WANG WORKER 这是一些完全独立的格式,可以规范为如下形式: WORKER ( LD WORKER ( WANG) 这就要好得多,因为上述表达结构反映知识本身的结构
应用这些命题, 能够译出“如果天下雨就不是晴天” 的原意。但是，命题逻辑的结构需要规范，例如： 李明是个工人 可写为 LIWORKER 如果还要表示 王华也是个工人 应写出 WANGWORKER 这是一些完全独立的格式，可以规范为如下形式： WORKER （LI） WORKER （WANG） 这就要好得多，因为上述表达结构反映知识本身的结构。 2 . 2 . 2 逻辑表示的结构