离散数学--联结词

       数理逻辑中，复合命题由原子命题与联结词组合而成，为便于书写和推演，须对联结词明确规定并符号化。

否定联结词:

       设P为命题，P的否定为一新命题，记作﹁P；若P为T，﹁ P为F；若P为F,﹁ P为T；“﹁”表示命题的否定。该联结词亦记作“  — ”。

       P与﹁ P的关系如下表所示：

P	﹁ P
T	F
F	T

       注：“﹁ ”为一元运算

合取联结词：

        命题P和Q的合取是复合命题，记作P ∧ Q。iff (当且仅当) P与Q均为T时，P ∧ Q才为T；其它情况均为F。

​         该联结词的定义如下表：

P	Q	P ∧ Q
T	T	T
T	F	F
F	T	F
F	F	F

注意：Q. 熊大和熊二（整体）是亲兄弟。（Q命题不是复合命题，不可用合取联结词）

1、“∧ ”具有对称性，即P ∧ Q←→Q ∧ P且为二元运算；

2、P∧﹁P永为“F”，且可以多次使用“∧”，如：P ∧Q ∧R

3、汉语中的“与”与逻辑“与”意义并不完全相同。

析取联结词：

       命题P，Q的析取是复合命题，记作P ∨ Q。iff P∨Q同时为F时，P ∨ Q才为F；否则其真值为T。

      以上定义的析取联结词∨与自然语言中的“或”不完全一样。自然语言中的“或”具有二义性，用它有时具有相容性（即它联结的两个命题可以同时为真），有时具有排斥性（即只有当一个为真，另一个为假时，才为真），对应的分别称作相容或和排斥或。

       其真值表如下：

P	Q	P ∨ Q
T	T	T
T	F	T
F	T	T
F	F	F

例

1、他可能是100米或400米赛跑的冠军。(可以用析取连接词)

2、今天晚上我在家看电视或去剧场看戏。(不能直接用析取连接词来表示)

3、他昨天做了二十或三十道习题。(不能直接用析取连接词来表示，它是简单命题。)

注：

1、“∨ ”指“可兼或”；

2、汉语中的“或”表示“排斥或”与“可兼或”；同时还可以表示近似概念。

条件联结词（蕴含联结词）：

       命题P，Q，其条件命题是复合命题，记作P → Q。读作如果P，那么Q；或 若P则Q；iff （当且仅当） P为T，Q为F时，P → Q真值为F；否则P → Q均为T。称P为前件，Q为后件。

       若P→Q ，则 P 是 Q的充分条件。

       其真值表如下：

P	Q	P→Q
T	T	T
T	F	F
F	T	T
F	F	T

比如：

P . 太阳出来了 。Q. 3乘5等于15。

P→Q : 如果太阳出来了，那么3乘5等于15。（P与Q不一定有关系）

P . 他是深圳人。Q . 他是广东人。

P→Q ：如果他是深圳人，那么他是广东人。

注：汉语中与命题“如P，则Q”等价的命题有：“如果P，则Q”、 “如果P，那么Q”、“对于Q来说，P是充分的”；且该联结词为二元联结词。

双条件联结词（等价联结词）：

      命题P，Q，其复合命题P ←→ Q称作双条件命题，读作“P当且仅当(iff)Q”；该命题真值由P与Q的真值确定；当P，Q具有相同的真值时，P ←→ Q 是“T”，否则为“F”。
       其真值表如下：

P	Q	P←→Q
T	T	T
T	F	F
F	T	F
F	F	T

例:

   P:a2+b2=a2，Q:b=0，则P ←→ Q : a2+b2=a2当且仅当b＝0。

注：

1、汉语中，命题“P iff Q”与命题“P和Q是互为充分必要的”、命题

“只有且仅有P才能有Q”是等价命题；且其为二元联结词。

2、上述联结词只有“否定”为一元联结词，其余均为二元联结词。

3、不包含任何联结词的命题称作原子命题；至少含一个原子命题

和一个联结词的命题称为复合命题。