离散数学知识要点

第1部分 数理逻辑

第1章 命题逻辑的基本概念

1.1 命题与联结词

命题

非真即假的的陈述句	命题
真值为真的命题	真命题
真值为假的命题	假命题
不能被分解成更简单的命题	简单命题or原子命题
通过联结词联结而成的命题	复合命题

p.s.

1. 作为命题的陈述句所表达的的的判断结果称为命题的真值.
2. 真值即真又假称为悖论.

请不要吸烟！这不是命题.(不是陈述句)

$$\sqrt{5}是无理数.这是一个真命题.$$

4是素数.这是一个假命题.

我在说假话.这是一个悖论.(即真又假）

其中2.3.项都是原子命题

联结词(五种）

否定联结词	$$\neg$$
合取联结词	$$\vee$$
析取联结词	$$\wedge$$
蕴含联结词	$$\to$$
等价联结词	$$\leftrightarrow$$