充分必要條件假言命題

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

肯定前件就能肯定後件，肯定後件不能肯定前件；

否定前件不能否定後件，否定後件就能否定前件。

“如果下雨，那麼地濕”

下雨⇒地濕 地濕⇏下雨

沒下雨⇏地沒濕 地沒濕⇒沒下雨 ^[2] 

肯定前件不能肯定後件，肯定後件就能肯定前件;

否定前件就能否定後件，否定後件不能否定前件。

“不到長城非好漢”（毛澤東《清平樂·六盤山》）

到長城⇏是好漢 是好漢⇒到長城

不到長城⇒不是好漢 不是好漢⇏不到長城 ^[2]