离散数学.2.3.pdfVIP

2.3 一阶逻辑等值式与前束范式 等值式 基本等值式 量词否定等值式 量词辖域收缩与扩张等值式 量词分配等值式 前束范式 1 等值式与基本等值式 定义若AB为逻辑有效式，则称A 与B是等值的， 记作AB ，并称AB为等值式. 基本等值式: 命题逻辑中16组基本等值式的代换实例 如，xF(x)yG (y )  xF(x)yG (y ) (xF(x)yG (y ))  xF(x)yG (y ) 等 消去量词等值式 设D={a ,a ,…,a } 1 2 n xA(x)A (a )A (a )…A (a ) 1 2 n xA(x)A (a )A (a )…A (a ) 1 2 n 2 基本等值式(续) 量词辖域收缩与扩张等值式 设A (x)是含x 自由出现的公式，B 中不含x 的出现 关于全称量词的： 关于存在量词的: x (A (x)B)xA(x)B x (A (x)B)xA(x)B x (A (x)B)xA(x)B x (A (x)B)xA(x)B x (A (x)B)xA(x)B x (A (x)B)xA(x)B x (BA (x))BxA(x) x (BA (x))BxA(x) 3 基本的等值式(续) 量词否定等值式 设A (x)是含x 自由出现的公式 xA(x) x A (x)  xA(x)x A (x) 量词分配等值式 x (A (x)B(x))xA(x)xB(x) x (A (x)B(x))xA(x)xB(x) 注意：对无分配律，对无分配律, 即 x (A (x)B(x))xA(x)xB(x) x (A (x)B(x)) xA(x)xB(x) 4 例 例将下面命题用两种形式符号化 (1) 没有不犯错误的人 (2) 不是所有的人都爱看电影 解(1) 令F(x) ：x 是人，G(x) ：x犯错误. x (F(x)G(x)) x (F(x)G(x)) x (F(x)G(x)) (2) 令F(x) ：x 是人，G(x) ：爱看电影. x (F(x)G(x)) x(F(x)G(x)) x (F(x)G(x)) 5 前束范式 定义设A 为一个一阶逻辑公式, 若A 具有如下形式 Q x Q x …Q x B, 则称A 为前束范式, 其中Q (1ik) 1 1 2 2 k k