1.1命题1.1.1基本概念断言：一个陈述语句。祈使句、疑问句一定不是断言。命题：要么为真，要么为假，不能二者都是的断言。原子命题(本源命题)：一个命题已不能分解成更简单的命题命题和本源命题常用大写字母P、Q、R表示eg.P:4是质数1.1.2命题联结词复合命题：命题和原子命题可通过

第一篇数理逻辑    逻辑学是一门研究思维形式及思维规律的科学。逻辑规律就是客观事物在人的主观意识中的反映。逻辑学分为辨证逻辑与形式逻辑两种，前者是以辨证法认识论的世界观为基础的逻辑学，而后者主要是对思维的形式结构和规律进行研究的类似于语法的一门工具性学科。

命题表达式命题语言的字符集由和变量和命题运算符构成，由于\(\land,\lor,\leftrightarrow\)都能用\(\lnot,\to\)代替，故定义符号表：\[\Sigma:=\{(,),\lnot,\to,A_n|n\in\mathbbN\}\]其中\(A_n\)代表了可数个命题变量命题逻辑的有限符号串定义为：\[\Sigma^

《离散数学》是计算机专业的一门十分重要的专业基础课。离散数学作为有力的数学工具对计算机的发展、计算机研究起着重大的作用。目前，计算机科学中普通采用离散数学中的一些基本概念、基本思想和基本方法。通过本课程的学习，掌握数理逻辑、集合论、代数和图论等近代数学分支的最基本

逻辑与证明命题逻辑proposition命题negation否定Conjunction合取Disjunction析取（inclusiveor）Implication蕴涵，条件Biconditional等价contrapositive逆否in

命题公式分类      重言式   逻辑等价式与逻辑蕴含式逻辑等价式的情况下连接的命题真值相等  一些重要的逻辑等价式      逻辑蕴

 什么是数理逻辑？    什么是命题可判断真假的陈述句         排中律         原子命题与复合命题