Introduction and Overview While writing mathematical equalities, we assume that if A = B, then B = A. But this principle doesn’t hold in logic when we employ two concepts, one of which is more general than the other. For example, “cat is a mammal” doesn’t imply that “mammal is […]