【お知らせ】プログラミング記事の投稿は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 …