南邮离散数学第1章 命题逻辑课件.ppt

《离散数学》南京邮电大学计算机;概 述　关于这门课程，有几点;说　明总学时：64学时（48+;主要参考书：（1）上海科技文献;离散数学是现代数学的一个重要分;应用Image segment;第一章 命题逻辑 ;（4）：本句是假的。若它是命题;（6）：X=3 不是命题 ;在数理逻辑中，用大写英文字母P;1-2 　联结词五个基本联结词;（1）否定 若P是一命;又如 Q：南京是一个小城市。;合取的定义如下表：P ;（3）析取（或） ;例如1：他可能是100米或40;排斥或、不可兼或，不能用PⅴQ;1-2 　联结词P ;(5)双条件 P、Q;1-2 　联结词总结：共介绍了;前面我们介绍了命题的概念，它是;例如：判别下列式子是否是公式？;注意：“（” ， “）;首先找出原子命题，有两个：他聪;1-3　命题公式与翻译例2：他;例3：如果明天上午七点不下雨，;例3：如果明天上午七点不下雨，;例5：说数理逻辑枯燥无味或毫无;我们对P、Q取不同值看原命题的;以上例子“或”意义各不相同，在;在介绍真值表前，先介绍分量定义;2、（P　 Q） ;3、（P　Q） （ P ;P Q P Q ;5. 再看 P ;定义：两个公式A和B，设 ;4，交换律：P Q ;“ ”对于“ ;例1：求证 Q ;例1：求证 Q ;例3 求证： 证：左1-4　;1-4　真值表与等价公式汲虚迟;讲完1-3，1-4两节，我们来;如 A：P Q ;1-5　重言式与蕴含式重言式（;定理：若 A是重言式，对A中同;证： 若A B是重言;P Q 原式 Q ;可以看出①P Q与Q ;举例说明(2)由P Q2;1-5　重言式与蕴含式眯翻找叙;书上P21表１－５．２有１４个;定理：P Q, iff ;（２）若A B，B ;我们分两部分学习，先学习对偶式;例如： 对偶 1-7　对;对偶律：设A和A*是对偶式， ;范式：为什么引入范式：对于两个;合取范式：若A具有下列形式： ;步骤：1.将所有的联结词化归为;1-7　对偶与范式涝返柔纵碾亿;合取 ;n个命题变元，由变元和它的否定;可以看出（1）各个小项不等价。;1－命题变元，0—命题否定任给;小项有如下性质：(1)每个小项;如何将公式A化为主析取范式？1;( ) ( ;证：A，其值为T的指派所对应的;例：设公式A真值表如下，求A的;1-7　对偶与范式螟熊阉板藏???;(P∧Q∧(R∨﹁R))∨(﹁;我们学习了析取范式，形式为：（;M00=M0, M01=M1,;1. 每个大项的指派与编号;合取，即为此公式的主合取范式。;1-7　对偶与范式貉笨琵符卜罪;2． 用等价公式，其步骤为： ;这样当变元次序一定时，每个公式;1） 大项与小项有什么关系;总结：学习数理逻辑主要适用于推;判别有效结论的过程就是论证过程;例如 P41. 例 1. ;(2) 直接证法从已知前提出发;证明：注意：必须将证明过程编号;(3) 间接证法：1-8　推;1-8　推理理论娟啪刨些姨清鲸;1-8　推理理论枚吼鼓黔芥抱元;前面介绍了逻辑推理，所谓逻辑推;1-8　推理理论星痰丢罚频伐缅;1-8　推理理论钳沪谊腋甜冻阎;例2　P46例题6（a）或者是;要证明：M　　Q,　M　S,　;(9)M 　　 Q ;(10)( M