假言命题分充分假言命题,必要假言命题,充要假言命题.

　　1、充分假言命题,即肯定前件就要肯定后件,否定后件就要否定前件.否定前件不能否定后件,肯定后件不能肯定前件.

　　2、必要假言命题,(1)否定前件就要否定后件,肯定后件就要肯定前件；(2)肯定前件不能肯定后件,否定后件不能否定前件.

　　3、充分必要条件假言推理,它有四个正确式.

　　肯定前件式：当且仅当p,则q；p,所以,q.肯定后件式：当且仅当p,才q；q,所以,p.否定前件式：当且仅当p,才q；非p,所以,非q.

　　否定后件式：当且仅当p,则q；非q,所以,非p.这种推理的规则也有两条：(1)肯定前件就要肯定后件,否定后件就要否定前件；(2)否定前件就要否定后件,肯定后件就要肯定前件.