![](https://img-blog.csdnimg.cn/20201014180756923.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
离散数学
文章平均质量分 70
只睡四小时
事在人为。
展开
-
【数理逻辑与集合论】第二章 谓词逻辑
这里只是自己对知识点的一个概述和理解,追求的是精简。一、谓词逻辑基本概念命题逻辑中命题是最基本的单位,而命题只是真假确定的陈述句,体现不出命题之间的内在联系和数量关系,这导致命题逻辑的推理有很大局限性,不能解决一些更原子更细节的推理,比如苏格拉底三段论:所有的人都是要死的,苏格拉底是人,所以苏格拉底是要死的。命题逻辑就解决不了,命题逻辑只能解决类似这样的问题:我今天要去游泳馆或图书馆,我没去游泳馆,所以我去了图书馆。总而言之,谓词逻辑是命题逻辑的细分,把命题分成了个体词、谓词和量词,从而表达出个原创 2022-04-25 21:31:52 · 2315 阅读 · 1 评论 -
【数理逻辑与集合论】第一章 命题逻辑
这里只是自己对知识点的一个概述和理解,追求的是精简。一、命题逻辑基本概念1.命题:陈述句+真假性是肯定的。注意:悖论不是命题2.原子命题符号化和联结词符号化:否定合取 (与)析取 (或)蕴涵 (只有1推出0才是0)等价 (相同则为1)3.合式公式(wff)又称命题公式将命题变项用联结词和圆括号按一定的逻辑关系联结起来的符号串称为合式公式或命题公式。4.公式层次若公式A是单个命题变项,则称A为0层公式。每用一次联结词,层次加1。5.重言式、永假式、可满足式重言式=原创 2022-04-19 22:16:17 · 2219 阅读 · 0 评论