充分条件判断的逻辑特征用真值表表示如下：
p q || p → q
T T || T
T F || F
F T || T
F F || T
必要条件假言判断的逻辑特征用真值表表示如下：
(^表示“非”)
p q || ^p ^q || ^p ← ^q
T T || F F || T
T F || F T || F
F T || T F || T
F F || T T || T
所以充分和必要条件假言判断等值.
充分条件判断的逻辑特征用真值表表示如下：
p q || p → q
T T || T
T F || F
F T || T
F F || T
必要条件假言判断的逻辑特征用真值表表示如下：
(^表示“非”)
p q || ^p ^q || ^p ← ^q
T T || F F || T
T F || F T || F
F T || T F || T
F F || T T || T
所以充分和必要条件假言判断等值.