一、命题逻辑 1、基本概念 原子命题：即不能再被解析或拆解的陈述，在命题逻辑中定为或真或假的描述性陈述。一般用p、q等字母表示 复合命题：若干命题组成的命题。表述复合命题时，需要用到逻辑连接词，如p→q、p⇔q等。 逻辑联结词：将若干原子命题联结在一起的运算逻辑符号。在命题罗辑中，包括逻辑符号→(条件，如果……那么)、⇔(双向条件)、¬(非)、∧(且、与)、∨(或)。 真值：每个命题都有一个取值常元，该取值为真值(命题的真值与

0，哥德尔不完备定理：又称哥德尔不完全定理，是关于算数形式的形式系统不完备的数学定理，逻辑科学的三大发现之一。内容为：(1)若一个包含简单的初等数论的形式系统是一致的，则有不可判定命题。(2)若包含简单初等数论的形式系统无矛盾，则其不矛盾性无法在该形式系统内被证明 下面是关于哥德尔不完备定理的相关常识 (楼下写)

就是不知道不正常的人够不够多 度值又高几许 留爪了再说

一、个体（元素）与整体（集合）的关系符号 1.个体与整体（从属关系） ∈：属于 ∉：不属于 2.整体与整体 ⊆：包含 ⊇：包含于，被包含 二、逻辑推理符号 ⇒：蕴含（ps：→为一般蕴含，⇒为严格蕴含） ⇔：是，为（表示等价） ¬：非，不是（表示否定） ∧：和，与（表示合取） ∨：或，或者（表示析取） ⊕或⊻：异或，要么 ∀：全称，即凡是、每个、任意、一切（表示全称量词） ∃：存在着（表示存在量词/特称量词） ∃!：精确的存在一个

亲爱的不正常人类吧的吧友们：大家好！ @不正常人类研究 为本吧吧主候选人得票最多者，共计1张真实票数，根据竞选规则，官方最终批准其成为本吧正式吧主。公示期三天。 吧主上任后，请严格遵守吧主协议 https://tieba.baidu.com/mo/q/newapply/rule?from=task，履行吧主义务，积极投身本吧的发展建设，也请广大吧友进行监督。如出现违规问题，请至贴吧反馈中心进行反馈或者投诉http://tieba.baidu.com/pmc/reportBazhu