1.1 命题与联结词 1.2 命题公式及其赋值 1.3 等值演算 1.4 联结词的完备集 1.5 对偶与范式 1.6 推理理论

一、命题规律之总览 二、命题规律之近看 三、重点之四两拨千斤

判断改错题(判断下列命题的正确性,并对错误命题说明理由,正确命题不加说明。(10分) 1.一个作业由若干作业步组成,在多道程序系统中这些作业步可以并发执行 2.多道程序的引入主要是为了提高CP的利用率 3.不同进程所包含的程序必定相同

判断改错题(判断下列命题的正确性,并对错误命题说明理由,正确命题不加说明。(10分) 1.一个作业由若干作业步组成,在多道程序系统中这些作业步可以并发执行 2.多道程序的引入主要是为了提高CP的利用率

一、词项的特征明确方法 二、性质命题的认知与对当关系 三、性质命题主谓项的周延性与传统谓词 四、推理的有效性 五、命题的变形推理考察 六、三段论的分析与应用

第一章绪论 第二章命题的逻辑分析 第三章命题推理的形式 第四章真值表方法与命题演算 第五章传统谓词逻辑 第六章谓词演算 第七章模态逻辑 第八章归纳逻辑 第九章假说与侦查假设 第十章论证与论辩 第十一章谬误 第十二章逻辑基本规律

第二章2矩阵的秩 2.1.1矩阵的行秩与列秩、矩阵的转置 定义2.1矩阵的行秩与列秩。 一个矩阵A的行向量组的秩成为A的行秩它的列向量组的秩称为A的列秩。 命题2.1矩阵的行(列)初等变换不改变行(列)秩 证明只需证明行变换不该行秩。容易证明经过任意一种初等行变换,得到的行向 量组与原来的向量组线性等价,所以命题成立。证毕。 定义2.2矩阵的转置 把矩阵A的行与列互换之后,得到的矩阵A称为矩阵A的转置矩阵 命题2.2矩阵的行(列)初等变换不改变列(行)秩

“模态”一词是英文“modal”的音译,原意为“样式的”,“情态的”。模态逻辑是研究包 含模态词“必然”、“可能”的模态命题及其推理的科学。模态逻辑历史很悠久,早在两千多年 前,亚里士多德就对模态命题做过许多讨论,研究了模态词和模态三段论,但在很长一段时间 里模态逻辑的价值被忽略了,因而模态逻辑基本上没有得到发展。直到本世纪初,美国逻辑学 家 Lewis用数理逻辑的方法和观点对模态逻辑作了系统的研究,这才使模态逻辑的发展进入了 一个崭新的时期

复习命题演算推理形式系统N N中推理的每个式子都由前提和结论组成,接近 于实际推理,又称为自然推理形式系统。 ·第一个给出自然推理形式系统的是德国数学家甘岑(G. Gentzen,1909-1945),所以又称N为甘岑系统

本章是数理逻辑中的最基本内容， 是下一章的基础.本章主要讲述命 题与联结词、命题公式、恒真命 题、等价式、蕴涵式及范式等基 本内容；能将自然语言符号化； 能用等价式、蕴涵式等进行命题 演算和推理；能用逻辑推理的方 法解决一些实际问题