論理演算と言えば、否定、論理積、論理和、排他的論理和しか知らなかったが、含意という演算があることを最近知った。 「含意」とは「AならばBである」という演算で、真理値表で表すと、 Ａ Ｂ A⇒B 真 真 真 真 偽 偽 偽 真 真 偽 偽 真 という演算である。 …