离散数学一阶逻辑等值演算与推理省公开课一等奖全国示范课微课金奖PPT课件

是 否 +2 论坛币

k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群

赵安豆老师微信：zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

立即领取

感谢您参与论坛问题回答

经管之家送您两个论坛币！

+2 论坛币

NL  及其推理规则
第五章 一阶逻辑等值演算与推理
5.1
定义5.1 设A, B是两个谓词公式, 假如AB是永真式, 则称A与B等值, 记作AB, 并称AB是等值式基本等值式第一组 命题逻辑中16组基本等值式代换实例  比如，xF(x)xF(x),     xF(x)yG(y)  xF(x)yG(y) 等第二组  (1) 消去量词等值式     设D ={a1, a2, … , an}    ① xA(x)  A(a1)A(a2)…A(an)    ② xA(x)  A(a1)A(a2)…A(an)

(2) 量词否定等值式    ① xA(x)  xA(x)    ② xA(x)  xA(x)(3) 量词辖域收缩与扩张等值式.    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(BA(x)) ...

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

分享0 收藏0 回帖

关键词：ppt课件 离散数学 ppt 一等奖 示范课

相关内容：离散数学课件ppt