离散数学——命题逻辑

命题

注意：有确定的真假含义不等同于已知其真假含义。
例：较大的偶数都可表为两个质数之和。
例：除地球外，别的星球上也存在生物。

原子命题(Primitive proposition)：
由简单陈述句表示的判断。
命题逻辑规定：原子命题是不可再分的。

复合命题(Compound proposition)：
一个或几个简单命题用联结词联结所构成的命题(复合陈述句)。
例：如果天气好，我就去散步。
例：2是偶数而3是奇数。

命题的表示

两个特殊的命题词：
命题常量：
T：永远表示真命题。
F：永远表示假命题。
T和F的两种含义：
命题常量。
命题的真值。

命题联结词

命题和原子命题常可通过一些联结词构成新命题,这种新命题叫复合命题。

否定词：┐(～，Negation)

设P表示命题,那么“P不真”是一个复合命题,记为┐P,叫做P的否定,读做“非P”。如果P是假,则┐P是真,反之亦然。

例子：

• 1.P： 4是质数。   ┐P： 4不是质数。
• 2.Q：这些都是男同学。   ┐Q：这些不都是男同学。

合取词：∧(Conjunction)

如果P和Q是命题,那么“P并且Q”是一个复合命题,记为P∧Q,称为P和Q的合取,读做“P与Q”或“P并且Q”。

析取词：∨(Disjunction)

如果P和Q是命题, 则“P或Q” 是一个复合命题, 记作P∨Q, 称为P和Q的析取, 读做“P或Q”。

注意：大致与自然语言中表示选择的“或”，“或者”类似，但自然语言中的或具有二义性，用“或”联结的命题，有时具有相容性，有时具有排斥性。

条件词：→(条件,Conditional)

如果P和Q是命题,那么“P蕴含Q”是一个复合命题,记为P→Q,称为条件式,读做“如果P,那么Q”或“P则Q”。运算对象P叫做前提,假设或前件,而Q叫做结论或后件。

注意：与自然语言中表示因果的“若… 则 …”、 “如果…则…”、“如果…那么…”、“只要…就…”等类似。

例子：

• 1 P: 天不下雨, Q: 草木枯黄。  P→Q: 如果天不下雨, 那么草木枯黄。
• 2 R: G是正方形, S: G的四边相等。  R→S: 如果G是正方形, 那么G的四边相等。
• 3 W: 桔子是紫色的, V: 大地是不平的。 W→V: 如果桔子是紫色的, 那么大地是不平的。

注意：在自然语言中，条件和结论往往有某种内在联系，并且往往表示若条件成立则结论也成立这样的推理关系，而在数理逻辑中，条件和结论不一定有内在联系，且若条件为假则条件式为真。

蕴含式P→Q可以用多种方式陈述:

1. “若P, 则Q”
2. “P是Q的充分条件”
3. “Q是P的必要条件”
4. “Q每当P” ;
5. “P仅当Q”等。

例子：

• 令：P：天气好。 Q：我去公园。
• 如果天气好，我就去公园。P→Q
• 只要天气好，我就去公园。P→Q
• 天气好，我就去公园。P→Q
• 仅当天气好，我才去公园。Q→P