用真值表求证充分和必要条件假言判断的转换关系小弟初学哲学,

问题描述:

用真值表求证充分和必要条件假言判断的转换关系
小弟初学哲学,

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