充分必要條件假言命題的負命題

充分必要條件假言命題（necessary and sufficientcondition hypothetical proposition）斷定一個事物情況是另一事物情況的充分必要條件的假言命題。充分必要條件假言命題的命題形式是：“如果p則q，並且，只有p才q。”也可以表示為：“p若且唯若q。”用數理邏輯符號則可表示為：

（p→q）A（1p→1q），或簡化為：p=q。例如：“三角形的三邊相等，若且唯若它的三個內角相等。”又如：“人不犯我，我不犯人；人若犯我，我必犯人。”都是充分必要條件假言命題。

充分必要條件假言命題的真假，取決於其前件是否確實是其後件的充分必要條件。如果是，它就是真的；如果不是，它就是假的。從前件與後件的真值聯繫來看，充分必要條件假言命題的真假情況可以概括為如下真值表：

pap若且唯若q真假假假真假假假真這就表明，充分必要條件假言命題，只有當其前件後件同真或同假時，它是真的，在其餘情況下，則它是假的。前件與後件具有等值關係，這是充分必要條件假言命題的基本邏輯特徵。