点击下载:西安电子科技大学:《离散数学》课程教学课件(题解)第二章 谓词逻辑 2-5 谓词演算的四个推理规则
正在加载图片...
西安电子科技大学$2.5.3存在推广规则软件学院例如:如果已知“盒子里面有一个黑球”,那么“盒子里存在黑球”成立。西安电子科技大学 §2.5.3 存在推广规则 软件学院 例如: 如果已知“盒子里面有一个黑球”,那 么“盒子里存在黑球”成立
<<向上翻页
向下翻页>>
点击下载:西安电子科技大学:《离散数学》课程教学课件(题解)第二章 谓词逻辑 2-5 谓词演算的四个推理规则
©2008-现在 cucdc.com 高等教育资讯网 版权所有