「AならばB A⇒B 」の言い換え表現リスト

論理記号一覧に「AならばB A⇒B 」の言い換え表現リストを追加。
 「AならばB A⇒B 」
 対偶「Bでないならば、Aでない ￢B⇒￢A 」
 「Aでない、または、B ( ￢A ) ∨ B 」
　「『Aかつ《Bでない》』ということはない ￢ ( A ∧ (￢B) )」