离散数学——归结原理

【文件属性】：

文件名称：离散数学——归结原理

文件大小：221KB

文件格式：DOC

更新时间：2015-01-22 03:50:24

离散数学——归结原理习题

谓词逻辑-归结原理例题习题3.5, 1. (1)：是大学生：是诚实的则命题可表示为：已知：，证明：习题3.5,1.(2)将下面的命题符号化，并证明之：已知每一个