Silver halide Silver halide A silver halide (or silver salt) is one of the chemical compounds that can form between the element silver and one of the halogens. In particular, bromine, chlorine, iodine and fluorine may each combine with silver to produce silver bromide (AgBr), silver chloride (AgCl), silver iodide (AgI), and three forms of silver fluoride, respectively. As a group, they are often referred to as the silver halides, and are often given the pseudo-chemical notation AgX. Although most silver halides involve silver atoms with oxidation states of +1 (Ag), silver halides in which the silver atoms have oxidation states of
Non-logical symbol over the signature mentioned above is the ordered group of integers. Its domain is the set formula_1 = {…, –2, –1, 0, 1, 2, …} of integers. The binary function symbol + is interpreted by addition, the constant symbol 0 by the additive identity, and the binary relation symbol < by the relation less than. Outside a mathematical context, it is often more appropriate to work with more informal interpretations. Rudolf Carnap introduced a terminology distinguishing between logical and non-logical symbols (which he called "descriptive signs") of a formal system under a certain type of interpretation, defined by what they