 Particular [existential] propositions are expressed by the consideration that they are contradictory of universal propositions. Thus, as \(\unary{h}\bcomma(1-\unary{b})=0\) means every horse is black, so \(0^{\unary{h}, (1-\unary{b})} = 0\) means that some horse is not black; and as \(\unary{h}\bcomma \unary{b}= 0\) means that no horse is black, so \(0^{\unary{h}, \unary{b}} = 0\) means that some horse is black. (DNLR [CP 3.141])