提醒：點這里加小編微信（領(lǐng)取免費資料、獲取最新資訊、解決考教師一切疑問?。?/p>

1.充分條件假言命題

充分條件的假言命題是指前件是后件的充分條件的假言命題。其邏輯公式是：如果P,那么q;邏輯上則表示為：p→q（讀作"P蘊涵q"）。其真假關(guān)系 如下：（1）P真，q真，則p→q為真；（2）P真，q假，則p→ q為假；（3）P假，q真，則p→q為真；（4）P假，q假，則p→q為真。

充分條件假言推理就相應(yīng)地有如下兩條規(guī)則：

（1）肯定前件就要肯定后件，否定后件就要否定前件；

（2）否定前件不能否定后件，肯定后件不能肯定前件。

2.必要條件假言命題

必要條件的假言命題是指前件是后件的必要條件的假言命題。我們一般把必要條件假言命題表述成如下形式：只有P,才q.邏輯上則表示為：p←q（讀作"P反蘊涵q"）。

必要條件假言判斷標準形式是："只有P,才q",其真假關(guān)系如下：（1）P真，q真，則p←q為真；（2）P真，q假，則p←q為真；（3）P假，q真，則p←q為假；（4）P假，q假，則p←q為真。

必要條件假言推理也相應(yīng)有兩條規(guī)則：

（1）否定前件就要否定后件，肯定后件就要肯定前件。

（2）肯定前件不能肯定后件，否定后件不能否定前件。

3.充分必要條件假言命題

我們一般將之表示為：當且僅當P,則q.邏輯上則表示為：p（q（讀作"P等值于q"）。P是q的充分必要條件是指：有P必有q,無P必無q.必要 條件假言判斷標準形式是："當且僅當P,才q",其真假關(guān)系如下：（1）P真，q真，則P（q為真；（2）P真，q假，則P（q為真；（3）P假，q真， 則p（q為假；（4）P假，q假，則 p（q為真。

（四）負命題

通過對原命題斷定情況的否定而作出的命題，就叫做負命題。負命題的邏輯公式是：如果用P表示原命題，那么，負命即為"并非P".其真假關(guān)系為：（1）p真，則P假；（2）p假，則P真。

（五）二難推理

二難推理是由兩個假言前提和一個具有二肢的選言前提聯(lián)合作為前提而構(gòu)成的推理，它也稱為假言選言推理。

七、模態(tài)命題

在邏輯中，"必然"、"可能"、"不可能"等叫做"模態(tài)詞",包含模態(tài)詞的命題叫做"模態(tài)命題".

根據(jù)四種模態(tài)命題之間的邏輯關(guān)系（真假關(guān)系），便可構(gòu)成一系列簡單的模態(tài)命題的直接推理。

（一）根據(jù)模態(tài)命題矛盾關(guān)系的直接推理

1.必然P,推出并非可能非P;

2.并非必然P,推出可能非P;

3.可能非P,推出并非必然P;

4.并非可能非P,推出必然P;

5.必然非P,推出并非可能P;

6.并非必然非P,推出可能P;

7.可能P,推出并非必然非P;

8.并非可能P,推出必然非P.

（二）根據(jù)模態(tài)命題反對關(guān)系的直接推理

1.必然P,推出并非必然非P;

2.必然非P,推出并非必然P.

（三）根據(jù)模態(tài)命題下反對關(guān)系的直接推理

1.并非可能P,推出可能非P;

2.并非可能非P,推出可能P.

提醒：點這里加小編微信（領(lǐng)取免費資料、獲取最新資訊、解決考教師一切疑問?。?/p>