![](https://img-blog.csdnimg.cn/ece0d7b26ce14c75ba028bfc4246819c.jpeg?x-oss-process=image/resize,m_fixed,h_224,w_224)
第二讲:命题逻辑
文章平均质量分 92
命题逻辑是指以逻辑运算符结合原子命题来构成代表“命题”的公式,以及允许某些公式建构成“定理”的一套形式“证明规则”。相对于谓词逻辑,它是量化的并且它的原子公式是谓词函数;和模态逻辑,它可以是非真值泛函的。
H3T
我可以给你4万个理由来证明为什么太阳不是真的
展开
-
[离散数学]命题逻辑P_7:范式
范式原创 2022-10-04 21:38:32 · 704 阅读 · 1 评论 -
[离散数学]命题逻辑P_6:命题等价公式及应用
命题等价公式及应用原创 2022-10-03 18:24:17 · 4829 阅读 · 0 评论 -
[离散数学]命题逻辑P_5:命题公式分类和等价
命题公式分类和等价原创 2022-09-29 19:40:45 · 1252 阅读 · 1 评论 -
[离散数学]命题逻辑P_4:命题公式和真值表
命题公式和真值表原创 2022-09-28 22:51:18 · 2920 阅读 · 0 评论 -
[离散数学]命题逻辑P_3:命题符号化及其应用
命题符号化及其应用原创 2022-09-27 23:26:02 · 3943 阅读 · 1 评论 -
[离散数学]命题逻辑P_2:命题联结词
命题联结词原创 2022-09-26 22:17:07 · 837 阅读 · 0 评论 -
[离散数学]命题逻辑P_1:什么是命题
什么是命题原创 2022-09-24 10:46:28 · 377 阅读 · 1 评论