就理迴辑 逻辑学:研究思维(或推理)的形式结构和规 律的学科。利用数学方法研究思维(或推理)的形式 结构和规律的学科,称作数理逻辑。 数理逻辑的基本内容:命题逻辑(演算) 谓词逻辑。它们对电子元件设计和性质分析 对逻辑程序设计语言的研制具有十分重要的 意义。 2021/2/24 离散数学
2021/2/24 离散数学 1 逻辑学:研究思维(或推理)的形式结构和规 律的学科。利用数学方法研究思维(或推理)的形式 结构和规律的学科，称作数理逻辑。 数理逻辑 数理逻辑的基本内容：命题逻辑(演算)、 谓词逻辑。它们对电子元件设计和性质分析， 对逻辑程序设计语言的研制具有十分重要的 意义
第一章命题逻 §11侴题与腺结 512命题公式及其赋值 513等值演算 514联结词的完备集 515对偶与范式 516推理理论 2021/2/24 离散数学
2021/2/24 离散数学 2 第一章 命题逻辑 §1.1 命题与联结词 §1.2 命题公式及其赋值 §1.3 等值演算 §1.4 联结词的完备集 §1.5 对偶与范式 §1.6 推理理论
81.1命题静号化及联結词 一、命题的概念 命题:能判断真假的陈述句。这种判断只有两种 可能,一种是正确的判断,一种是错误的 判断。 命题真值:判断为正确的命题称其命题真值为真(1); 判断为错误的命题称其命题真值为假(0); 命题是具有唯一真值的陈述句。 2021/2/24 离散数学
2021/2/24 离散数学 3 一、命题的概念 命题：能判断真假的陈述句。这种判断只有两种 可能，一种是正确的判断，一种是错误的 判断。 §1.1 命题符号化及联结词 命题真值：判断为正确的命题称其命题真值为真(1) ； 判断为错误的命题称其命题真值为假(0) ； 命题是具有唯一真值的陈述句
例1判断下列旬子中哪些是命题。 (1)4是素数。 (2)2+3=5。 (3)雪是黑色的 (4)3能被2整除。 是) (5)2050年元旦是晴天。[是) (6)5x+1>11。 (否 (7)这朵花真美丽呀 (否) (8明天下午开会吗? 5) (否 (9)我正在说假话。 (否) 2021/2/24 离散数学
2021/2/24 离散数学 4 例1 判断下列句子中哪些是命题。 (1) 4是素数。 (2) 2 + 3 = 5。 (3) 雪是黑色的。 (4) 3能被2整除。 (5) 2050年元旦是晴天。 (6) 5x + 1 > 11。 (7) 这朵花真美丽呀！ (8) 明天下午开会吗？ (9) 我正在说假话。 (是) (是) (是) (是) (是) (否) (否) (否) (否)
解题思想:判断一个句子是否为命题,首先看它 是否为陈述句,其次看它的真值是否唯一。 2021/2/24 离散数学
2021/2/24 离散数学 5 解题思想：判断一个句子是否为命题，首先看它 是否为陈述句，其次看它的真值是否唯一