【离散数学III】命题逻辑——命题符号及联结词

【离散数学III】命题逻辑——命题符号及联结词_第1张图片

命题与真值

命题:能判断真假的陈述句为命题,判断结果唯一。
真值:命题可以取一个“值”,称为真值。真值只有“真”和“假”两种,分别用“T”(或“1”)和“F”(或“0”)表示。
数理逻辑研究的中心问题是推理,而推理的前提和结论都是命题。因而命题是推理的基本单位。

判断命题:陈述句——>真值是否唯一
(与人们是否知道无关;未来发生的仅有唯一真值的事也是命题;总之要客观存在唯一真值,但是真值无法确定)
悖论:悖论是表面上同一命题或推理中隐含着两个对立的结论,而这两个结论都能自圆其说。悖论的抽象公式就是:如果事件A发生,则推导出非A,非A发生则推导出A。“我正在说谎话”,不是命题。
真值不确定:x+5>3,属于命题变项,x和y给定时可以构成命题公式的一部分,但不是命题。
二义性陈述句:不属于悖论,不属于命题,设置一个规则,该规则可在每个二义性情况下指出哪一个分析树(或语法树)是正确的。这样的规则称作消除二义性规则(disambiguating rule)。

命题的分类

原子命题:简单陈述句构成的命题,不可再分。
复合命题:用逻辑联结词连接简单命题。

真命题:真值为真(1)的命题。
假命题:真值为假(0)的命题。

命题常项:陈述句且真值确定不变——>简单命题。
命题变项:陈述句且真值不确定——>不是命题。

命题符号化

小写字母表示。

命题联结词

否定式
1.定义 : 设   p \ p  p为一个命题 , 复合命题非   p \ p  p 称为   p \ p  p的否定式 , 记为 ¬ p \lnot p ¬p; ¬ \lnot ¬成为否定联结词 ;
2.真值表 : ¬ p \lnot p ¬p为真 此时   p \ p  p为假。

  p \ p  p ¬ p \lnot p ¬p
0 1
1 0

合取式
1.定义 : 设   p , q \ p,q  p,q为两个命题 , 复合命题“   p \ p  p而且   q \ q  q”称为   p , q \ p,q  p,q的合取式 , 记为 p ∧ q p \land q pq; ∧ \land 成为合取联结词 ;
2.真值表 : p ∧ q p \land q pq为真当且仅当   p \ p  p   q \ q  q同真。

  p \ p  p   q \ q  q p ∧ q p \land q pq
0 0 0
0 1 0
1 0 0
1 1 1

析取式
1.定义 : 设   p , q \ p,q  p,q为两个命题 , 复合命题“   p \ p  p或者   q \ q  q”称为   p , q \ p,q  p,q的析取式 , 记为 p ∨ q p \lor q pq; ∨ \lor 成为析取联结词 ;
2.真值表 : p ∨ q p \lor q pq为真当且仅当   p \ p  p   q \ q  q两者至少一个为真。

  p \ p  p   q \ q  q p ∨ q p \lor q pq
0 0 0
0 1 1
1 0 1
1 1 1

注意相容或和排斥或
“2和5是素数”——相容或, p ∨ q p \lor q pq
“李明生于1987年或1988年”——排斥或, ( p ∧ ¬ q ) ∨ ( ¬ p ∨ q ) (p \land \lnot q) \lor (\lnot p \lor q) (p¬q)(¬pq)

蕴含式
1.定义 : 设   p , q \ p,q  p,q为两个命题 , 复合命题“如果   p \ p  p,则   q \ q  q”称为   p , q \ p,q  p,q的蕴含式 , 记为 p → q p \to q pq; → \to 成为蕴含联结词。其中   p \ p  p为此蕴含式的前件,   q \ q  q为此蕴含式的后件。
2.真值表 : p → q p \to q pq为假,当且仅当   p \ p  p真而   q \ q  q假;其余情况均为真。

  p \ p  p   q \ q  q p ∧ q p \land q pq
0 0 1
0 1 1
1 0 0
1 1 1

前件为原因,后件为结果。
【离散数学III】命题逻辑——命题符号及联结词_第2张图片

等价式
1.定义 : 设   p , q \ p,q  p,q为两个命题 , 复合命题“   p \ p  p当且仅当   q \ q  q”称为   p , q \ p,q  p,q的等价式 , 记为 p ↔ q p \leftrightarrow q pq; ↔ \leftrightarrow 成为等价联结词 ;
2.真值表 : p ↔ q p \leftrightarrow q pq为真当且仅当   p \ p  p   q \ q  q同真或同假。

  p \ p  p   q \ q  q p ∧ q p \land q pq
0 0 1
0 1 0
1 0 0
1 1 1

注意等价( ↔ \leftrightarrow )、等值演算( ⇔ \Leftrightarrow )和推导( ⇒ \Rightarrow )的区别。

运算优先等级:“ ¬ \lnot ¬”最高,其次是“ ∧ \land ”、“ ∨ \lor ”、“ → \to ”、“ ↔ \leftrightarrow ”。如果有括号,则括号优先。

上述五种联结词也称作真值联结词或逻辑联结词。

你可能感兴趣的:(离散数学,学习)