Silver tetrafluoroborate weakly coordinating tetrafluoroborate anions. The abstraction of the halide is driven by the precipitation of the appropriate silver halide. Silver tetrafluoroborate Silver tetrafluoroborate is an inorganic compound with the chemical formula AgBF. It is a white solid that dissolves in polar organic solvents as well as water. In its solid state, the Ag centers are bound to fluoride. Silver tetrafluoroborate is prepared by the reaction between boron trifluoride and silver oxide in the presence of benzene. In the inorganic and organometallic chemistry laboratory, silver tetrafluoroborate, sometimes referred to "silver BF-4", is a useful reagent. In dichloromethane, silver tetrafluoroborate is a
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