充分必要條件假言命題

充分必要條件假言命題(hypothetical proposi-tion under sufficient and necessary conditions)亦稱充分必要條件假言判斷，簡稱充要條件假言判斷(或充要條件假言命題)，是一種特殊的假言命題。指斷定一命題是另一命題的充分必要條件的假言命題。

充分必要條件假言命題其結構形式為:p若且唯若q.也可用符號表示為:p`-'q(讀做p等值於q).或((p--q>八(q-"p>.“若且唯若”這個邏輯聯結詞在數學中經常使用，但在日常語言裡則不常用.卜p`-'q的真假特徵是:前件p與後件q同真且同假.p`-'q的真假值與其前後件的真假值之間的關係可用真值表來表示(T為真，F為假).卜p`-'q就是排除p}q真假值不同的情況，即它要求p}q取相同的真假值.