第二讲：命题逻辑
关注
分享
扫一扫
文章平均质量分 92
命题逻辑是指以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。相对于谓词逻辑，它是量化的并且它的原子公式是谓词函数；和模态逻辑，它可以是非真值泛函的。
H3T
我可以给你4万个理由来证明为什么太阳不是真的
展开
-
[离散数学]命题逻辑P_7：范式
范式原创 2022-10-04 21:38:32 · 853 阅读 · 1 评论 -
[离散数学]命题逻辑P_6：命题等价公式及应用
命题等价公式及应用原创 2022-10-03 18:24:17 · 5850 阅读 · 0 评论 -
[离散数学]命题逻辑P_5：命题公式分类和等价
命题公式分类和等价原创 2022-09-29 19:40:45 · 1482 阅读 · 1 评论 -
[离散数学]命题逻辑P_4：命题公式和真值表
命题公式和真值表原创 2022-09-28 22:51:18 · 3362 阅读 · 0 评论 -
[离散数学]命题逻辑P_3：命题符号化及其应用
命题符号化及其应用原创 2022-09-27 23:26:02 · 5064 阅读 · 1 评论 -
[离散数学]命题逻辑P_2：命题联结词
命题联结词原创 2022-09-26 22:17:07 · 1086 阅读 · 0 评论 -
[离散数学]命题逻辑P_1：什么是命题
什么是命题原创 2022-09-24 10:46:28 · 511 阅读 · 1 评论