【总结】离散数学*数理逻辑

前言：本文章为鄙人自学总结内容，很多表达可能只有自己能看懂。慎阅。

第一章 命题逻辑

---

一、命题及其表示法

（1）是否为命题的依据

1.表判断的陈述句。

2.有且只有一个真值。

举个例子看看吧，以下这两个很多初学者容易搞混。

【eg.1】2050年，人类将到达火星。

首先它是一句表判断的陈述句，但是我们不知道它的真值。

不知道真值，也是命题。

【eg.2】x+y＞5。

首先它是一句表判断的陈述句，当x=3，y=4时，它的真值为F，当x=1，y=2时，它的真值为T 。故它的真值不唯一，不是命题。

【eg.3】9+5≤12。

他是陈述句，它可以写成文字形式“九加五小于等于十二。”它的真值为F。是命题。

【eg.4】X＝3，不是命题。

---

（2）命题的种类

原子命题：不能再分解成更简单陈述句的命题。

例如：P，Q。

复合命题：由若干个联结词、标点符号及原子命题复合构成的命题。

例如：¬P，P∨Q，P→Q。

---

（3）命题的表示

大写字母表示。

【eg】P：今天下雨。    Q：小王是大学生。

---

二、联结词

{┐，∨}，{┐，∧} 是 最小联结词组。

---

（1）定义及使用

（1）否定

表示命题的否定，读作“非”。

---

（2）合取

“有假则假”

P	Q	P∧Q
0	0	0
0	1	0
1	0	0
1	1	1

---

（3）析取

“有真则真”

P	Q	P∨Q
0	0	0
0	1	1
1	0	1
1	1	1

---

（4）异或（排斥或）

“不可兼取的或”、“排斥或”。

即两件绝对事情不能同时发生。

---

（5）条件（单箭头）

当前件为假时，在“善意规定”的影响下，P→Q为真。

速记口诀：相同则真，100，011。

P	Q	P→Q
0	0	1
0	1	1
1	0	0
1	1	1

---

（6）等价

速记口诀：相同则真，100，010。

P	Q	P  Q
0	0	1
0	1	0
1	0	0
1	1	1

仅当：必要条件。

当且仅当：充分必要条件。

---

---

补充：关于“除非”式提问。

可以把句意先转换一下，把除非转化成别的意思。

eg. 除非你给我钱，否则我就不干活。

P：你给我钱

Q：我干活

（1）【非P→非Q】如果你不给我钱，我就不干活。

（2）【Q→P】我干活是因为你给我钱。

例：我今天进城，除非下雨。

P：我今天进城。

Q：天下雨。

¬Q→P

---

（2）命题符号化

例1 

 

---

三、合式公式

也叫命题公式，简称公式。

人话解释：

命题常项：T，F。

常值命题：具体的命题陈述句。

命题变元：大写字母。

通常没有固定真值，需要被人赋予命题常项或常值命题。

（1）定义及规定

 （2）约定

三个及三个以上命题变元组成的合式公式，在去掉最外层括号后，若里面没有括号，则不是合式公式。

当然，如果声明“规定了运算次序”，则再按运算次序检查是否是合式公式。

<