内容提示:离散数学第五章一阶逻辑等值演算与推理
文档格式:PPT| 浏览次数:0| 上传日期: 20:39:41| 文档星级:?????
全文阅读已结束,如果下载本文需要使用
简介:本文档为《5_1ppt》,可适用于高等教育领域,主题内容包含一阶逻辑等值演算与推理一阶逻辑等值演算与推理.一阶逻辑等值式与置换规则等值式等值式定义:设AB是一阶逻辑中任意两个公式若AB是永真式则称A与B是等值符等。
版权声明:文章内容来源于网络,版权归原作者所有,如有侵权请点击这里与我们联系,我们将及时删除。