数理逻辑课件(离散数学)教程.pptVIP

第一部分 数理逻辑*;数理逻辑部分主要内容：命题逻辑;第一章 命题逻辑基本概念*;1.1 命题与联结词 命题与真;例1： 下列句子中哪些是命题？;一、命题与真值命题: 判断结果;一、命题与真值（例题）例2：判;一、命题与真值（例题）例3：“;一、命题与真值（小结）感叹句、;二、命题符号化“ 是有理;二、命题符号化用小写英文字母 ;二、命题符号化令 t：我来自西;三、复合命题及联结词 1;三、复合命题及联结词例如：p:;三、复合命题及联结词 “;三、复合命题及联结词（例题）例;三、复合命题及联结词p ∧ p;三、复合命题及联结词合取满足交;三、复合命题及联结词 “p或q;三、复合命题及联结词（例题） ;三、复合命题及联结词（例题续）;三、复合命题及联结词（例题续）;三、复合命题及联结词 小;三、复合命题及联结词p ∨ p;三、复合命题及联结词 例8;三、复合命题及??结词 4;三、复合命题及联结词pqp ?;三、复合命题及联结词p ? q;三、复合命题及联结词（例题） ;三、复合命题及联结词（例题） ;三、复合命题及联结词（例题续）;三、复合命题及联结词 小;三、复合命题及联结词5.等价式;三、复合命题及联结词 需;三、复合命题及联结词（例题）例;三、复合命题及联结词 等价;三、复合命题及联结词 有关;三、复合命题及联结词（1）