スマートフォン用の表示で見る

論理包含

サイエンス

論理包含

ろんりほうがん

論理包含(Implication)または含意とは、第一命題(前件)が偽または第二命題(後件)が真であるとき真となる論理演算である。「¥to」や「¥Rightarrow」、「¥supset」を用いる。

論理和論理積否定を用いて ¥neg P¥vee Q と表すことができる。

¥Rightarrow01
011
101