充分必要条件假言推理有如下四个有效式：
（１）由肯定前件到肯定后件
ｐ当且仅当ｑ
所以，ｑ例如：
当且仅当两条直线平行，内错角才相等；
这两条直线平行，所以，它们的内错角相等。
（２）由肯定后件到肯定前件
ｐ当且仅当ｑ
ｑ所以，ｐ
例如：当且仅当两条直线平行，内错角才相等；
这两条直线内错角相等，所以，这两条直线是平行的。
（３）否定前件到否定后件
ｐ当且仅当ｑ
非ｐ所以，非ｑ
例如：
当且仅当两条直线平行，内错角才相等；
这两条直线不平行，所以，这两条直线内错角不相等。
（４）由否定后件到否定前件
ｐ当且仅当ｑ
非ｑ所以，非ｐ
例如：
当且仅当两条直线平行内错角才相等；
这两条直线内错角不相等，所以，这两条直线不是平行的。
