只有当A为真而B为假时，‘如果A，那么B’才为假。因此A一定为真。