离散数学I电子教案.pptVIP

离散数学 I;引言;引言;引言;引言;第一部分 数理逻辑;第一部分 数理逻辑;第一章 命题逻辑;1.1 命题与命题联结词;1.1 命题与命题联结词;1.1 命题与命题联结词;注意 命题一定是通过陈述句来表达；反之，并非一切的陈述句都一定是命题。 命题的真值有时可明确给出，有时还需要依靠环境条件，实际情况，时间才能确定其真值。但其真值一定是唯一确定的。;1.1 命题与命题联结词;1.1.2 命题联结词 命题通常可以通过一些联结词复合而构成新的命题，这些联结词被称为逻辑联结词。用数学方法研究命题之间的逻辑关系???（也就是在命题演算中），这些联结词可以看作是运算符，因此也叫作逻辑运算符。 常用的联结词有以下5个： 定义1.2：设P是任一命题，复合命题“非P”（或“P的否定”）称为P的否定式（Negation），记作?P，“?”为否定联结词。 ?P为真当且仅当P为假。 如：P：2是素数，则?P：2不是素数。;1.1 命题与命题联结词;1.1 命题与命题联结词;1.1 命题与命题联结词;1.1 命题与命题联结词;1.1 命题与命题联结词;1.1 命题与命题联结词;例1.3：符号化下列命题。 a)：他既有理论知识又有实践经验 b)：i. 如果明天不是雨夹雪则我去学校 ii. 如果明天不下雨并且不下雪，则我去学校 iii. 如果明天下雨或下雪则我不去学校