充分必要條件假言命題的負命題（necessary and sufficientcondition hypothetical proposition）是斷定一個事物情況是另一事物情況的充分必要條件的假言命題。
基本介紹
- 中文名：充分必要條件假言命題的負命題
- 外文名：necessary and sufficientcondition hypothetical proposition
充分必要條件假言命題的命題形式是：“如果p則q，並且，只有p才q。”也可以表示為：“p若且唯若q。”用數理邏輯符號則可表示為：
（p→q）A（1p→1q），或簡化為：p=q。例如：“三角形的三邊相等，若且唯若它的三個內角相等。”又如：“人不犯我，我不犯人；人若犯我，我必犯人。”都是充分必要條件假言命題。
充分必要條件假言命題的真假，取決於其前件是否確實是其後件的充分必要條件。如果是，它就是真的；如果不是，它就是假的。從前件與後件的真值聯繫來看，充分必要條件假言命題的真假情況可以概括為如下真值表：
pap若且唯若q真假假假真假假假真這就表明，充分必要條件假言命題，只有當其前件後件同真或同假時，它是真的，在其餘情況下，則它是假的。前件與後件具有等值關係，這是充分必要條件假言命題的基本邏輯特徵。
