提醒：点这里加小编微信（领取免费资料、获取最新资讯、解决考教师一切疑问！）
1.充分条件假言命题
充分条件的假言命题是指前件是后件的充分条件的假言命题。其逻辑公式是：如果P,那么q;逻辑上则表示为：p→q（读作"P蕴涵q"）。其真假关系 如下：（1）P真，q真，则p→q为真；（2）P真，q假，则p→ q为假；（3）P假，q真，则p→q为真；（4）P假，q假，则p→q为真。
充分条件假言推理就相应地有如下两条规则：
（1）肯定前件就要肯定后件，否定后件就要否定前件；
（2）否定前件不能否定后件，肯定后件不能肯定前件。
2.必要条件假言命题
必要条件的假言命题是指前件是后件的必要条件的假言命题。我们一般把必要条件假言命题表述成如下形式：只有P,才q.逻辑上则表示为：p←q（读作"P反蕴涵q"）。
必要条件假言判断标准形式是："只有P,才q",其真假关系如下：（1）P真，q真，则p←q为真；（2）P真，q假，则p←q为真；（3）P假，q真，则p←q为假；（4）P假，q假，则p←q为真。
必要条件假言推理也相应有两条规则：
（1）否定前件就要否定后件，肯定后件就要肯定前件。
（2）肯定前件不能肯定后件，否定后件不能否定前件。
3.充分必要条件假言命题
我们一般将之表示为：当且仅当P,则q.逻辑上则表示为：p（q（读作"P等值于q"）。P是q的充分必要条件是指：有P必有q,无P必无q.必要 条件假言判断标准形式是："当且仅当P,才q",其真假关系如下：（1）P真，q真，则P（q为真；（2）P真，q假，则P（q为真；（3）P假，q真， 则p（q为假；（4）P假，q假，则 p（q为真。
（四）负命题
通过对原命题断定情况的否定而作出的命题，就叫做负命题。负命题的逻辑公式是：如果用P表示原命题，那么，负命即为"并非P".其真假关系为：（1）p真，则P假；（2）p假，则P真。
（五）二难推理
二难推理是由两个假言前提和一个具有二肢的选言前提联合作为前提而构成的推理，它也称为假言选言推理。
七、模态命题
在逻辑中，"必然"、"可能"、"不可能"等叫做"模态词",包含模态词的命题叫做"模态命题".
根据四种模态命题之间的逻辑关系（真假关系），便可构成一系列简单的模态命题的直接推理。
（一）根据模态命题矛盾关系的直接推理
1.必然P,推出并非可能非P;
2.并非必然P,推出可能非P;
3.可能非P,推出并非必然P;
4.并非可能非P,推出必然P;
5.必然非P,推出并非可能P;
6.并非必然非P,推出可能P;
7.可能P,推出并非必然非P;
8.并非可能P,推出必然非P.
（二）根据模态命题反对关系的直接推理
1.必然P,推出并非必然非P;
2.必然非P,推出并非必然P.
（三）根据模态命题下反对关系的直接推理
1.并非可能P,推出可能非P;
2.并非可能非P,推出可能P.
提醒：点这里加小编微信（领取免费资料、获取最新资讯、解决考教师一切疑问！）
