論理包含とは？

ろんりほうがん

「PならばQ」という形の命題演算で、P が真のとき Q も真でなければ偽となります。

論理包含（含意）は「P → Q」と表記され、前件 P が真で後件 Q が偽のときのみ偽となり、それ以外は真となる二項論理演算である。P が偽であれば Q の真偽にかかわらず全体は真となる「実質含意」の性質を持つ。古典論理における条件文の標準的な解釈として用いられる。