离散数学-2-5-谓词演算的等价式与蕴含式省公开课一等奖全国示范课微课金奖PPT课件

是 否 +2 论坛币

k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群

赵安豆老师微信：zhaoandou666

经管之家联合CDA

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

立即领取

感谢您参与论坛问题回答

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

+2 论坛币

谓词公式中可包含有命题变元和客体变元，当命题变元用确定命题取代，客体变元用确定客体所取代时，就称作对公式赋值。一个谓词公式经过赋值后，就成为真值确定命题（T或F）定义2-5.1 给定任何两个谓词公式wff A和wff B，设它们有共同个体域E。若对A和B任意一组变元进行赋值，所得命题真值相同，则称谓词公式A和B在E上是等价。记为AB。

定义2-5.2  任意给定谓词公式wff A，其个体域为E。若对A任意变元赋值，wff A都为真，则称该wff A在E上是有效（或永真）。定义2-5.3对于一个谓词公式wff A，假如在全部赋值下，该公式真值都为假，则称该wff A 为不可满足。定义2-5.4对于一个谓词公式wff A，假如最少在一个赋值下为真，则称该wff A 为可满足。

扫码加我 拉你入群

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

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

分享0 收藏0 回帖

关键词：ppt课件 离散数学 一等奖 公开课 ppt

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