上传者：2****5
2022-06-29 21:59:14上传
PPT文件
1.26MB
《第5章 一阶逻辑等值演算与推理》由会员分享，可在线阅读，更多相关《第5章 一阶逻辑等值演算与推理（34页珍藏版）》请在文档大全上搜索。
第五章 一阶逻辑等值演算与推理第一节 一阶逻辑等值式与置换规则第二节 一阶逻辑前束范式第三节 一阶逻辑的推理理论第五章 习题课 解 证明：
文档来源：https://www.renrendoc.com/paper/212652434.html
文档标签：第5章 一阶逻辑等值演算与推理 一阶 逻辑 等值 演算 推理
