全部版块 我的主页
› 论坛 › 提问 悬赏 求职 新闻 读书 功能一区 › 经管文库（原现金交易版）
谓词逻辑的等值和推理演算
打了个飞的
88 0
2025-06-22
谓词逻辑旳等值和推理演算
Lu Chaojun, SJTU

Lu Chaojun, SJTU
谓词公式和假如在任一解释下都有相同旳真值,就说和是等值旳(或等价),记作  (或 ).定理   iff   是普遍有效旳
附件列表

谓词逻辑的等值和推理演算.pptx

大小:535.54 KB

只需: RMB 2 元  马上下载

二维码

扫码加我 拉你入群

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

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

相关推荐
栏目导航
热门文章
推荐文章

说点什么

分享

微信QQ空间QQ微博
扫码加好友，拉您进群
各岗位、行业、专业交流群