直言命題
含義和結(jié)構(gòu)
斷定一類對(duì)象的全部或部分是否包含在另一類對(duì)象之中的命題链嘀。
- 邏輯常項(xiàng)
- 量項(xiàng)
- 全稱量項(xiàng)——所有
- 特稱量項(xiàng)——有些=至少一個(gè)
- 聯(lián)項(xiàng)
- 肯定——是
- 否定——不是
- 量項(xiàng)
- 邏輯變項(xiàng)
- 主項(xiàng)——S，聯(lián)項(xiàng)左邊量項(xiàng)右邊那個(gè)概念
- 謂項(xiàng)——P，聯(lián)項(xiàng)右邊那個(gè)概念
直言命題標(biāo)準(zhǔn)化
把命題改成上述結(jié)構(gòu)的句式娩井，即
| 原句 | 量項(xiàng)（所有/有些） | 主項(xiàng)（S） | 聯(lián)項(xiàng)（是/不是） | 謂項(xiàng)（P） |
|---|---|---|---|---|
| 人都是動(dòng)物 | 所有 | 人 | 是 | 動(dòng)物 |
| 鳥(niǎo)不都會(huì)飛 | 有些 | 鳥(niǎo) | 不是 | 會(huì)飛的鳥(niǎo) |
種類
| 名稱 | 邏輯形式 | 縮寫(xiě) | 簡(jiǎn)稱 |
|---|---|---|---|
| 全稱肯定 | 所有S是P | SAP | A |
| 全稱否定 | 所有S不是P | SEP | E |
| 特稱肯定 | 有些S是P | SIP | I |
| 特稱否定 | 有些S不是P | SOP | O |
歐拉圖
類似于集合畫(huà)圈圈。
單稱命題
主項(xiàng)是單獨(dú)概念抡谐。
邏輯特征
- 質(zhì)
直言命題的質(zhì)是指聯(lián)項(xiàng)纯趋，分為肯定和否定 - 量
直言命題的量是指量項(xiàng)，分為全稱和特稱
周延性
主項(xiàng)或謂項(xiàng)是否為全部外延撼泛。
| 類型 | 主項(xiàng) | 謂項(xiàng) |
|---|---|---|
| SAP | 周延 | 不周延 |
| SEP | 周延 | 周延 |
| SIP | 不周延 | 不周延 |
| SOP | 不周延 | 周延 |
對(duì)當(dāng)關(guān)系
| E | 上反對(duì) | ||
|---|---|---|---|
| I | 差等 | 矛盾 | |
| O | 矛盾 | 差等 | 下反對(duì) |
| - | A | E | I |
- 矛盾關(guān)系——真假相反
- 上反對(duì)關(guān)系——至少一假
- 下反對(duì)關(guān)系——至少一真
- 差等關(guān)系——全稱真=>特稱真挠说，全稱假=>特稱假
所有可能性
| 命題\S和P外延關(guān)系 | 同一 | 真包含于 | 真包含 | 交叉 | 不相容 |
|---|---|---|---|---|---|
| A | 真 | 真 | 假 | 假 | 假 |
| E | 假 | 假 | 假 | 假 | 真 |
| I | 真 | 真 | 真 | 真 | 假 |
| O | 假 | 假 | 真 | 真 | 真 |
注意事項(xiàng)
- 同素材命題才有對(duì)當(dāng)關(guān)系，即主項(xiàng)愿题、謂項(xiàng)都相同的兩個(gè)命題
- 主項(xiàng)預(yù)設(shè)存在
否則會(huì)有“推出存在”的問(wèn)題- 矛盾關(guān)系優(yōu)先使用
- 邏輯對(duì)當(dāng)關(guān)系與客觀實(shí)際無(wú)關(guān)
單稱命題
這個(gè)S是(不是)P
| - | 這個(gè)S不是P | A | I |
|---|---|---|---|
| 這個(gè)S是P | 矛盾 | 差等 | 差等 |
| E | 差等 | 上反對(duì) | 矛盾 |
| O | 差等 | 矛盾 | 下反對(duì) |
直言命題的直接推理
矛盾關(guān)系
A<=>!O损俭，E<=>!I，O<=>!A潘酗，I<=>!E
上反對(duì)關(guān)系
A=>!E杆兵，E=>!A
下反對(duì)關(guān)系
!I=>O，!O=>I
差等關(guān)系
A=>I仔夺，E=>O琐脏，!I=>!A，!O=>!E
換質(zhì)法與換位法
換質(zhì)
肯定變否定缸兔，否定變肯定日裙。
A<=>SE!P
E<=>SA!P
I<=>SO!P
O<=>SI!P
換位
主項(xiàng)謂項(xiàng)交換，不改質(zhì)灶体，不擴(kuò)大周延性
A=>PIS<=>I
E<=>PES
我自己總結(jié)的換質(zhì)+換位的所有可能的推理
測(cè)驗(yàn)&作業(yè)
測(cè)驗(yàn)
作業(yè)
