逆含意
A ← B の真理値表は以下。