前件是后件的充要条件，有前件必有后件，没有前件必然没有后件，有后件必然有前件，没有后件必然没有前件。

在假言命题中，表示条件的命题称为前件（一般用“p”表示），表示依赖条件而成立的命题称为后件（一般用“q”表示）。在充分条件假言命题中，联结词“如果”后的支命题是前件，“那么”后的支命题是后件。

充要条件的假言推理有两条推理规律：

1、肯定前件就要肯定后件，否定后件就要否定前件。

2、否定前件就要否定后件，肯定后件就要肯定前件。