Hatena Blog Tags

論理包含

(サイエンス)
ろんりほうがん

論理包含(Implication)または含意とは、第一命題(前件)が偽または第二命題(後件)が真であるとき真となる論理演算である。「\to」や「\Rightarrow」、「\supset」を用いる。
論理和論理積否定を用いて \neg P\vee Q と表すことができる。

\Rightarrow 0 1
0 1 1
1 0 1
このタグの解説についてこの解説文は、すでに終了したサービス「はてなキーワード」内で有志のユーザーが作成・編集した内容に基づいています。その正確性や網羅性をはてなが保証するものではありません。問題のある記述を発見した場合には、お問い合わせフォームよりご連絡ください。

関連ブログ