形式邏輯

題干：有明顯的邏輯詞

提向：選對(duì)、錯(cuò)、不定項(xiàng)

考點(diǎn)一 ：假言命題

（一）充分條件

1、定義：a成立，b就成立（有a就有b）——a是b的充分條件 a→b

2、推理口訣：充分條件前推后（前是后的充分）

3、邏輯詞：

（1）如果a，那么b a→b

（2）只要a，就b a→b

（3）如果a，就b a→b

（4）a就b a→b

（5）a則b a→b

（6）a必須b a→b

例：考上必須聽課 考上→聽課

（7）a離不開b a→b

（8）為了a，要b a→b

例：為了上岸，要聽課 上岸→聽課

（9）所有a都b a→b

（10）凡是a都b a→b

拓展：否則=不然就 a否則b -a→b

（二）必要條件

1、定義：a是b成立不能少的條件/沒有a就沒有b

a是b的必要條件

例：只有聽課，才能上岸。

上岸→聽課

2、推理口訣：必要條件后推前（前是后的必要，箭頭后是前的必要）

a→b ①a是b的充分

②b是a的必要（前充分，后必要）

3、邏輯詞：

（1）只有a，才b b→a

（2）a，才b b→a

（3）除非a，才b b→a

（4）a是b的前提/基礎(chǔ)/先決條件/必然要求

（5）沒有a，就沒有b/無a就無b b→a

（6）除非a，否則b -b→a

例：除非聽課，否則考不上 考上→聽課

（三）推理規(guī)則

1、逆否等值

2、傳遞規(guī)則

3、箭頭推出規(guī)則

4、二難推理規(guī)則