Axiom 4 says that inductive support adds up in a plausible way. When C logically entails the incompatibility of A and B, i.e., when no possible state of affairs can make both A and B true together, the degrees of support that C provides to each of them individually must sum to the support it provides to their disjunction. The only exception is in those cases where C acts like a logical contradiction and supports all sentences to the maximum possible degree (in deductive logic a logical contradi