“蕴含”可表示“析取”

(A → B) → B 等价于 A∨B。证明用真值表演算一下即可。QED