离散数学2.7省公开课一等奖全国示范课微课金奖PPT课件

是 否 +2 论坛币

k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群

赵安豆老师微信：zhaoandou666

经管之家联合CDA

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

立即领取

感谢您参与论坛问题回答

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

+2 论坛币

2-7谓词演算推理理论
消去和添加量词规则：
US(全称指定规则)：                (x)G(x)G(c)ES(存在指定规则)：                (x)G(x)G(c)UG(全称推广规则)：                G(y)(x)G(x)EG(存在推广规则)：                G(c)(x)G(x)                                               
US全称指定规则，书写形式：                (x)G(x)G(c)        成立条件是：c为任意个体常量。

ES(存在指定规则) ，书写形式：                (x)G(x)G(c)                        成立条件是：c是使G(x)为真特定个体常量。c不在前提中或者居先推导公式中出现或自由出现，换句话说，此c是在该推导之前从未使用过。

扫码加我 拉你入群

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

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

分享0 收藏0 回帖

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

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