定义 肯定前件则肯定后件，否定后件则否定前件，是充分条件假言推理的有效形式。
从哪来 建立在 3.3 复合判断（明确充分条件假言判断的逻辑性质）和 1.1 思维概述（遵循逻辑规则保证思维有效性）之上。
为什么 充分条件假言判断“如果p，那么q”的逻辑含义是：p是q的充分条件，即p真则q必真，但q真p未必真。
1. 肯定前件式：既然p是q的充分条件，p发生了，q必然发生，所以由p真推出q真有效。
2. 否定后件式：既然p是q的充分条件，若q没发生，说明作为充分条件的p一定没发生（否则q必发生），所以由q假推出p假有效。
反之，肯定后件（q真）不能推出p真，因为可能有其他原因导致q真；否定前件（p假）不能推出q假，因为p不是q的必要条件。
讲法
生活类比法
适合
形象思维强、抽象逻辑较弱的学生。
用“下雨”和“地湿”类比。
规则：如果下雨（p），那么地湿（q）。
1. 肯定前件：下雨了（p真），所以地湿了（q真）。——合理。
2. 否定后件：地没湿（q假），所以没下雨（p假）。——合理（因为如果下雨了地肯定湿，地没湿说明肯定没下雨）。
3. 错误示范：地湿了（q真），所以下雨了（p假）？——不一定，可能是洒水车。
4. 错误示范：没下雨（p假），所以地没湿（q假）？——不一定，可能是洒水车。
讲法
逻辑图示法
适合
空间思维好、喜欢结构化的学生。
画两个同心圆或包含关系图。
p的集合完全包含在q的集合内（因为p是q的充分条件，p发生必然导致q发生，p的范围比q小或相等）。
1. 点在p圈内：必然在q圈内（肯定前件推肯定后件）。
2. 点在q圈外：必然在p圈外（否定后件推否定前件）。
3. 点在q圈内：可能在p圈内，也可能在p圈外但在q圈内（肯定后件推不出前件）。
4. 点在p圈外：可能在q圈内，也可能在q圈外（否定前件推不出后件）。
讲法
公式推导法
适合
理科思维强、偏好符号逻辑的学生。
利用真值表或逻辑等值式。
充分条件假言判断 p→q 等值于 ¬p ∨ q。
1. 肯定前件式：
前提1：p → q
前提2：p
推理：因为 p→q 等价于 ¬p ∨ q，已知 p 为真，则 ¬p 为假。要使 ¬p ∨ q 为真，q 必须为真。
2. 否定后件式：
前提1：p → q
前提2：¬q
推理：因为 p→q 等价于 ¬p ∨ q，已知 q 为假，则 ¬p ∨ q 中 q 部分为假。要使整体为真，¬p 必须为真，即 p 为假。