1）谓词的概念与表达
2）命题函数与量词
3）谓词公式与翻译
4）变元的约束
5）谓词演算的等价式与蕴含式
6）前束范式
7）谓词演算的推理理论
转载于:https://www.cnblogs.com/hahaccy/p/8097479.html
扫一扫
评论
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
查看更多评论
添加红包
1）谓词的概念与表达
2）命题函数与量词
3）谓词公式与翻译
4）变元的约束
5）谓词演算的等价式与蕴含式
6）前束范式
7）谓词演算的推理理论
转载于:https://www.cnblogs.com/hahaccy/p/8097479.html
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
