充分必要條件

充分必要條件簡稱爲充要條件 。 在邏輯學中 ： 當命題 「 若P則Q 」 爲真時 ， P稱爲Q的充分條件 ， Q稱爲P的必要條件 。 因此 ： 當命題 「 若P則Q 」 與 「 若Q則P 」 皆爲真時 ， P是Q的充分必要條件 ， 同時 ， Q也是P的充分必要條件 。 當命題 「 若P則Q 」 爲真 ， 而 「 若Q則P 」 爲假時 ， 我們稱P是Q的充分不必要條件 ， Q是P的必要不充分條件 ， 反之亦然 。