![](https://img-blog.csdnimg.cn/20190918140158853.png?x-oss-process=image/resize,m_fixed,h_224,w_224)
数理逻辑
文章平均质量分 91
zzz
Z from A
哈
展开
-
谓词逻辑<2>——一阶谓词演算形式系统FC
形式系统FC的公理和定理。原创 2023-11-21 03:36:17 · 187 阅读 · 0 评论 -
谓词逻辑<1>——谓词逻辑
介绍个体,量词,谓词公式,辖域等谓词逻辑基本概念。原创 2023-11-13 16:54:42 · 130 阅读 · 0 评论 -
命题逻辑<4>——命题演算形式系统PC
形式系统的一般定义,与PC的定义和合理性,一致性,紧致性。原创 2023-09-21 03:53:33 · 250 阅读 · 0 评论 -
命题逻辑<3>——范式
命题逻辑的范式,主范式和极小项,极大项。原创 2023-09-13 00:45:24 · 300 阅读 · 0 评论 -
命题逻辑<2>——真值演算
介绍命题逻辑的逻辑蕴涵与逻辑等价关系,列出常用的等价关系和规则。原创 2023-09-12 11:15:35 · 195 阅读 · 0 评论 -
命题逻辑<1>——命题逻辑
介绍命题逻辑的基本概念,涉及命题,逻辑联结词,命题公式。原创 2023-09-11 15:44:28 · 240 阅读 · 0 评论