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

第一部分 数理逻辑*;数理逻辑部分主要内容：命题逻辑;第一章 命题逻辑基本概念*;1.1 命题与联结词 命题与真;例1： 下列句子中哪些是命题？;一、命题与真值命题: 判断结果;一、命题与真值（例题）例2：判;一、命题与真值（例题）例3：“;一、命题与真值（小结）感叹句、;二、命题符号化“ 是有理;二、命题符号化用小写英文字母 ;二、命题符号化令 t：我来自西;三、复合命题及联结词 1;三、复合命题及联结词例如：p:;三、复合命题及联结词 “;三、复合命题及联结词（例题）例;三、复合命题及联结词p ∧ p;三、复合命题及联结词合取满足交;三、复合命题及联结词 “p或q;三、复合命题及联结词（例题） ;三、复合命题及联结词（例题续）;三、复合命题及联结词（例题续）;三、复合命题及联结词 小;三、复合命题及联结词p ∨ p;三、复合命题及联结词 例8;三、复合命题及??结词 4;三、复合命题及联结词pqp ?;三、复合命题及联结词p ? q;三、复合命题及联结词（例题） ;三、复合命题及联结词（例题） ;三、复合命题及联结词（例题续）;三、复合命题及联结词 小;三、复合命题及联结词5.等价式;三、复合命题及联结词 需;三、复合命题及联结词（例题）例;三、复合命题及联结词 等价;三、复合命题及联结词 有关;三、复合命题及联结词（1） ;例题 例12：利用联结词;例题 例13：将下列命题符号;例题（3）不经一事，不长一智 ;例题 例14：符号化下列两;例题 例15：将下列命题符;作业习题一：14，15*;1.2 命题公式及其赋值命题常;一、命题常项和命题变项 命题;一、命题常项和命题变项 ;二、合式公式合式公式的一般化定;二、合式公式合式公式 的递归定;二、合式公式子公式 ;三、公式的赋值 p?q是;三、公式的赋值例1： 公式B ;p q r ;四、公式的层次 公式;四、公式的层次合式公式的层次定;五、公式的分类 定义：设A;五、公式的分类 重言式的;五、公式的分类判定给定公式是否;作业习题一：18，21*