1谓词
1.1引入
在研究命题逻辑中，原子命题是命题演算中最基本的单位，不再对原子命//代码效果参考：http://www.zidongmutanji.com/zsjx/23739.html
题进行分解，这样会产生两大缺点：（1）不能研究命题内部的结构，成分和内部逻辑的特征；
（2）也不可能表达两个原子命题所具有的共同特征，甚至在命题逻辑中无法处理一些简单又常见的推理过程。
例如 著名的“苏格拉底三段论”：
详细解读148.离散数学_谓词逻辑
2024-06-27
29
版权
版权声明：
本文内容由阿里云实名注册用户自发贡献，版权归原作者所有，阿里云开发者社区不拥有其著作权，亦不承担相应法律责任。具体规则请查看《
阿里云开发者社区用户服务协议》和
《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容，填写
侵权投诉表单进行举报，一经查实，本社区将立刻删除涉嫌侵权内容。
简介：
详细解读148.离散数学_谓词逻辑
相关文章
|
5月前
|
6月前
|
算法
C++
|
6月前
|
机器学习/深度学习
【离散数学】代数结构
1. 封闭性
2. 可交换
3. 可结合
4. 可分配
5. 吸收律
6. 等幂的
7. 幺元
8. 零元
9. 逆元
10. 广群
11. 半群
12. 子半群
13. 独异点
14. 群
15. 子群
16. 阿贝尔群（交换群）
17. 循环群
18. 陪集
19. 拉格朗日定理
20. 环
21. 整环
22. 域
184
0
0
|
算法
程序员
离散数学拾趣（一）
1738
0
0