【お知らせ】プログラミング記事の投稿はQiitaに移行しました。

論理学

論理包含の定義に関する違和感について

論理包含→という論理演算子があります。A → B は「AならばB」と読み、ブール代数的には !(A && !B)(または !A || B)と定義されます。(Trueは真、Falseは偽) A B A → B !(A && !B) T T T → T = T !(T && !T) = !(T && F) = !F = T T F T → F = F !(T && !…