数学のプログラマーの論理の章の続き。含意(がんい)という論理演算が出てきた。AならばB。 記号で表現すると本書によると含意は直感的に分かりづらい部分がある。真理値表を出してみる。 A B true true true true false false false true true false false t…