充分条件的假言推理有两条推理规则：
1. 肯定前件就要肯定后件，否定后件就要否定前件。
2.否定前件不能否定后件，肯定后件不能肯定前件。
肯定前件式：如果天下雨，那么地湿，天下雨，所以，地湿。
否定后件式：如果天下雨，那么地湿，地没有湿，所以，天没下雨。
必要条件的假言推理有两条推理规则：
1. 否定前件就要否定后件，肯定后件就要肯定前件。
2.肯定前件不能肯定后件，否定后件不能否定前件。
否定前件式：只有张三年满18岁，她才有选举权，张三没有年满18岁，所以张三没有选举权。
肯定后件式：只有张三年满18岁，他才有选举权，张三有选举权，所以，他已年满18岁。
<充分条件假言命题是陈述某一事物情况是另一件事物情况的充分条件的假言命题，“如果，那么”是充分条件假言命题的联结词，“如果”后面的支命题称为前件，“那么”后面的支命题称为后件，用p表示前件，用q表示后件，充分条件假言命题的命题形式可表示为如果p，那么q。
充分条件假言命题与其支命题之间的真假关系是：如果前件真而后件假，则该充分条件假言命题为假，如果不是前件真而后件假，则该充分条件假言命题是真的。
1.充分条件与必要条件区别如下：假如命题A为条件，B为结论，若发生条件A推出结论B，则称A条件为充分条件，是结论B的充分条件。
若发生结论B推出条件A，则称条件A为必要条件，是结论B的必要条件。
2.必要性与充分性区别如下：证明必要性即证明条件能推出结论，证明充分性即证明结论能推出条件。