充分必要条件
充分必要條件簡稱為充要條件。
在邏輯學中：

當命題「若 P 則 Q」為真時，P 稱為 Q 的充分條件，Q 稱為 P 的必要條件。因此：

當命題「若 P 則 Q」與「若 Q 則 P」皆為真時，P 是 Q 的充分必要條件，同時，Q 也是 P 的充分必要條件。
當命題「若 P 則 Q」為真，而「若 Q 則 P」為假時，我們稱 P 是 Q 的充分不必要條件，Q 是 P 的必要不充分條件，反之亦然。