如果P,那么qP所以,q也可用符号表示为：(P→q)AP→2、否定后件式：即在前提中否定了充分条件假言判断的后件，结论否定它的前件。其逻辑形式是：如果P,那么q非q所以非P也可以用符号表示为：(P→q)Aq→p三、必要条件假言推理必要条件假言推理是以必要条件假言判断为前提，并且根据必要条件假言判断的逻辑特性推出结论的推理。必要条件假言推理也有两条规则：①否定前件就能否定后件，但否定后件不能否定前件：②肯定后件就能肯定前件，但肯定前件就不能肯定后件。根据上述规则，必要条件假言推理有两个有效式：否定前件式和肯定后件式1、否定前件式：即在前提中否定了假言判断的前件，结论否定了它的后件，其逻辑形式是：只有P,才q非P所以,非q也可用符号表示为：(P)APg2、肯定后件式：即在前提中肯定了假言判断的后件，结论肯定了它的前件。其逻辑形式为:只有P,才qq所以,P
如果P,那么q q P 所以, 也可用符号表示为： (P → q)P → q 2、否定后件式：即在前提中否定了充分条件假言判断的后件，结论否定它的前件。其逻 辑形式是： 如果P,那么q P q 所以 非 非 , 也可以用符号表示为： − − (P → q)q → P 三、必要条件假言推理 必要条件假言推理是以必要条件假言判断为前提，并且根据必要条件假言判断的逻辑特 性推出结论的推理。必要条件假言推理也有两条规则： ① 否定前件就能否定后件，但否定后件不能否定前件； ② 肯定后件就能肯定前件，但肯定前件就不能肯定后件。 根据上述规则，必要条件假言推理有两个有效式：否定前件式和肯定后件式。 1、否定前件式：即在前提中否定了假言判断的前件，结论否定了它的后件，其逻辑形式 是： 只有P,才q q P 所以 非 非 , 也可用符号表示为： − − (P q) P → q 2、肯定后件式：即在前提中肯定了假言判断的后件，结论肯定了它的前件。其逻辑形式 为： 只有P,才q P q 所以
也可用符号表示为：(Pq)Aq-P四、充分必要条件假言推理充分必要条件假言推理是以充分必要条件假言判断为前提，并且根据充分必要条件假言判断的逻辑特性推出结论的推理。因为充分必要条件假言判断前件与后件有必同真必同假的等值关系，所以，充分必要条件假言推理的规则也有两条：①肯定前件就能肯定后件，肯定后件就能肯定前件：②否定前件就能否定后件，否定后件就能否定前件。根据规则，它有四个有效式：1、肯定前件式当且仅当P,才qP所以,q也可用符号表示为：(Pq)APq2、肯定后件式当且仅当P,才qq所以,P也可用符号表示为：(Pq)Aq→ P3、否定前件式当且仅当P,才q非P所以,非q也可用符号表示为：(Pq)AP→q4、否定后件式当且仅当P，才q非q所以,非P
也可用符号表示为： (P q)q → P 四、充分必要条件假言推理 充分必要条件假言推理是以充分必要条件假言判断为前提，并且根据充分必要条件假言 判断的逻辑特性推出结论的推理。因为充分必要条件假言判断前件与后件有必同真必同假的 等值关系，所以，充分必要条件假言推理的规则也有两条： ① 肯定前件就能肯定后件，肯定后件就能肯定前件； ② 否定前件就能否定后件，否定后件就能否定前件。 根据规则，它有四个有效式： 1、肯定前件式 当且仅当P,才q q P 所以, 也可用符号表示为： (P q)P → q 2、肯定后件式 当且仅当P,才q P q 所以, 也可用符号表示为： (P q)q → P 3、否定前件式 当且仅当P,才q q P 所以 非 非 , 也可用符号表示为： − − (P q)P → q 4、否定后件式 当且仅当P,才q P q 所以 非 非