逆含意
「B ならば A」を表すベン図(左の円がAに、右の円がBに対応する。赤い領域は命題が真で、白い領域は命題が偽であることを示す。):
全ての変数の真理値が真ならば、逆含意も必ず真になる性質がある。