>>11566206You meant not b implies not a perhaps.
Because a is not possible if b is absent, if a is present, b must be present also, for if not, a would be impossible.
However if one has not a implies not b, then if a, there might be not b, so b is not a consequnce of a.
