2012年7月30日月曜日

「AならばB」  A⇒B

論理記号一覧から「AならばB  A⇒B 」を「含意の命題をあらわす論理記号 AB」に分離独立したのに伴って、論理記号一覧の記事「AならばB  A⇒B 」の重複箇所をできるだけ消去。