(続き)
1.A:真 B:真
2.A:真 B:偽
3.A:偽 B:真
4.A:偽 B:偽
このとき、「AならばB」という論理式は、定義によって2つ目の場合のみ偽となり、それ以外の場合は真となります。