充分必要條件檢視原始碼討論檢視歷史
| 充分必要條件 |
充分必要條件也即充要條件，意思是說，如果能從命題p推出命題q，而且也能從命題q推出命題p ，則稱p是q的充分必要條件，且q也是p的充分必要條件。如果有事物情況A，則必然有事物情況B；如果有事物情況B，則必然有事物情況A，那麼B就是A的充分必要條件 ( 簡稱：充要條件 )，反之亦然 。
簡介
假設A是條件，B是結論，設C、D分別為A、B所描述對象的集合，則有下列定義和推論：（1）由A可以推出B，由B可以推出A，則A是B的充分必要條件（此時 ）；（2）由A可以推出B，由B不可以推出A，則A是B的充分不必要條件（此時 ）；（3）由A不可以推出B，由B可以推出A，則A是B的必要不充分條件（此時 ）；（4）由A不可以推出B，由B不可以推出A，則A是B的既不充分也不必要條件（此時 ）。1. A=「三角形等邊」；B=「三角形等角」。2. A=「某人觸犯了法律」；B=「應當依照刑法對他處以刑罰」。3. A=「付了足夠的錢」；B=「能買到商店裡的東西」。例1中A是B的充分必要條件；例2中A是B的必要不充分條件；（A觸犯法律包含各種法，有刑法有民法；B已經確定是刑法。B屬於A所以A是B的必要不充分條件）例3中A是B的必要不充分條件；（ A付夠了錢 可以買的是車、房子等；但是B能買到商店裡的東西一定是要付夠錢）。
評價
定義：如果有事物情況A，則必然有事物情況B；如果沒有事物情況A，則必然沒有事物情況B，A就是B的充分必要條件。充分必要條件是邏輯學在研究假言命題及假言推理時引出的。陳述某一事物情況是另一件事物情況的充分必要條件的假言命題叫做充分必要條件假言命題。充分必要條件假言命題的一般形式是：p當且僅當q。符號為：p←→q(讀作「p等值q」) 。例如：「三角形等邊當且僅當三角形等角。」是一個充分必要條件假言命題。根據充分必要條件假言命題的邏輯性質進行的推理叫充分必要條件假言推理。生活中表達充分必要條件的情況不太常見。在邏輯學和數學中一般用「當且僅當」來表示充分必要條件。例如：當且僅當競爭對手甲退出投標時，乙才會報一個較高的價位。a、b為任意實數時，a²+b² ≥ 2ab 成立，當且僅當a=b時取等號。其他常見的表示充分必要條件的說法還有：「需要且只需要」、「唯一條件」的情況。例如：任何兩個端節點之間的轉發需要且只需要經過三次交換。為了防止圓管內流動的水發生結冰，則需要且只需要保持圓管內壁面的最低溫度在某一溫度以上。俄軍逼近格首都稱停火唯一條件是格軍放棄武力。[1]