假言命题分充分假言命题,必要假言命题,充要假言命题.
1、充分假言命题,即肯定前件就要肯定后件,否定后件就要否定前件.否定前件不能否定后件,肯定后件不能肯定前件.
2、必要假言命题,(1)否定前件就要否定后件,肯定后件就要肯定前件；(2)肯定前件不能肯定后件,否定后件不能否定前件.
3、充分必要条件假言推理,它有四个正确式.
肯定前件式：当且仅当p,则q；p,所以,q.肯定后件式：当且仅当p,才q；q,所以,p.否定前件式：当且仅当p,才q；非p,所以,非q.
否定后件式：当且仅当p,则q；非q,所以,非p.这种推理的规则也有两条：(1)肯定前件就要肯定后件,否定后件就要否定前件；(2)否定前件就要 否定后件,肯定后件就要肯定前件.