A->B))の真理値表。教科書には以下のように書いている。AがTrueの場合は分かるが、AがFalseの時はなぜA→BがTrueになるのだろう?答えとしては、A→Bは「Aが成り立つ前提が満たされればBが成り立つ(Trueとなる)」ことを示しており、Aが成り立たたないケースのことは何も規定していないことが重要。前提が満たされない(つまりAがFalseの場合)は、A→BはBが何であろうが成立する。Bと等価であることがよく使われる。真理値表を自分で書いて確かめてみよう。