如果A那麼B的否命題是A且否B；只有A才會B的否命題是B且否A。

數學應用：如果A能推出B，那麼A就是B的充分條件。其中A為B的子集，即屬於A的一定屬於B，而屬於B的不一定屬於A，具體的說若存在元素屬於B的不屬於A，則A為B的真子集；若屬於B的也屬於A，則A與B相等。

邏輯應用：如果有事物情況A，則必然有事物情況B；如果沒有事物情況A而未必沒有事物情況B，A就是B的充分而不必要條件，簡稱充分條件。

https://iknow-pic.cdn.bcebos.com/a8ec8a13632762d02aacd06baeec08fa503dc650

擴充套件資料：

根據充分條件假言命題的邏輯性質進行的推理叫充分條件假言推理。充分條件假言推理，就是以充分條件假言命題為大前提，透過肯定前件或否定後件而得出結論的推理。

這種推理結構由三部分組成，其中大前提是充分條件假言判斷，小前提和結論是由這個充分條件假言判斷的前件或後件組成的判斷。列寧說過：“任何科學都是應用邏輯。”

陳述某一事物情況是另一件事物情況的充分條件的假言命題叫做充分條件假言命題。充分條件假言命題的一般形式是：如果p，那麼q。符號為：p→q(讀作“p蘊涵於q”）。例如“如果物體不受外力作用，那麼它將保持靜止或勻速直線運動”是一個充分條件假言命題。