-一阶逻辑-等值-范式.pdfVIP

离散数学 一阶逻辑中的等值 2 等值  A 与B是等值的  AB为逻辑有效式  记作AB ，并称AB为等值式. 常用的等值式？ 3 命题逻辑中16组基本等值式的代换实例 如， xF (x)yG (y )  xF (x)yG (y ) (xF (x)yG (y ))  xF (x)yG (y ) 等 4 消去量词等值式 设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 5 量词辖域收缩与扩张等值式 关于全称量词的： 关于存在量词的: 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) 注：A (x)是含x 自由出现的公式 ，B 中不含x 的出现 6 量词否定等值式 设A (x)是含x 自由出现的公式 xA(x) x A (x)  xA(x)x A (x) 7 量词分配等值式 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) 8 将下面命题用两种形式符号化 (1) 没有不犯错误的人 令F(x) ：x是人 ，G(x) ：x犯错误. x (F(x)G(x)) x (F(x)G(x)) x (F(x)G(x)) 9 将下面命题用两种形式符号化 (2) 不是所有的人都爱看电影 令F(x) ：x是人 ，G(x) ：爱看电影. x (F(x)G(x)) x(F(x)G(x)) x (F(x)G(x))