用一阶逻辑等值演算算p⇒(q⇒r)⇔q⇒(p⇒r)

内容提示:离散数学第五章一阶逻辑等值演算与推理

文档格式:PPT| 浏览次数:0| 上传日期: 20:39:41| 文档星级:?????

全文阅读已结束,如果下载本文需要使用

该用户还上传了这些文档

}

简介:本文档为《5_1ppt》,可适用于高等教育领域,主题内容包含一阶逻辑等值演算与推理一阶逻辑等值演算与推理.一阶逻辑等值式与置换规则等值式等值式定义:设AB是一阶逻辑中任意两个公式若AB是永真式则称A与B是等值符等。

}

我要回帖

更多关于 等值演算 的文章

更多推荐

版权声明:文章内容来源于网络,版权归原作者所有,如有侵权请点击这里与我们联系,我们将及时删除。

点击添加站长微信