論理包含

ある命題Pが成り立つとき、他の命題Qが成り立つかどうかで真偽を決めることをいう。命題Pが成り立たないときには、命題Qに関わらず真とする。

この時、式ではP⇒Qと書き、「PならばQ」と読む。

つまり、もしPならばQである(Qでなければならない)、ということである。

二項演算であり、それぞれをA、Bとすると、Aが真の状態であるのに、Bが偽である時だけ、式は偽となる演算である。

論理包含

Aが真の時はBも真でなければならず、条件が満たされれば結果は真、さもなくば偽である。

Aが偽であればBの値に関わらず結果は真であるが、Aが真の時は、Bが真なら結果も真、Bが偽なら結果も偽となる。

すなわち、「A∨B」、つまり「(Not A) Or B」「¬A ∨ B」と等価の演算である。