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