 (P4) Disjunction of alternative hypotheses  For any \(e, h_{1},h_{2},k\in \bL\) and any \(P\in \bP,\) if \(k\vDash \neg (h_{1} \wedge h_{2})\), then \(C_{P}(h_{1},e\mid k) \gtreqless C_{P}(h_{1} \vee h_{2},e\mid k)\) if and only if \(P(h_{2}\mid e \wedge k)\gtreqless P(h_{2}\mid k).\) 