用真值表求证充分和必要条件假言判断的转换关系

Question

小弟初学哲学，虚心向各位大侠请教，
不知哪位高人能指点迷津，
在此谢了！

Answer 1

充分条件判断的逻辑特征用真值表表示如下：
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

所以充分和必要条件假言判断等值。

Answer 2

充分条件判断的逻辑特征用真值表表示如下：
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
所以充分和必要条件假言判断等值。