离散数学 第二章命题逻辑

离散数学 第二章命题逻辑

2.1 什么是命题

• 具有确切真值的陈述句称为命题(proposition)。
• 该命题可以取一个“值" ,称为真值。真值只有“真”和“假”两种，分别用“T”(或“1”)和“F”(或“0”)表示。

2.2 命题联结词

否定连接词：

• ┐ 非

合取连接词：

• ∧ 且

析取连接词：

• ∨ 或（严格讲表示可兼或，异或有时会使用单独的异或联结词“⊕”来表示。）

蕴含连接词：

• 设P、Q是任两个命题,复合命题“如果P,则Q”称为P与Q的蕴涵式(implication) ,记作P→Q,"→"为蕴涵联结词。

• P→Q为假当且仅当P为真且Q