Значение

1. Any mathematical rule expressed symbolically.
2. A symbolic expression of the structure of a compound.
3. A plan or method for dealing with a problem or for achieving a result.
4. A formulation; a prescription; a mixture or solution made in a prescribed manner; the identity and quantities of ingredients of such a mixture.
5. A formal statement of doctrine.
6. Ellipsis of infant formula; drink given to babies to substitute for mother's milk.
7. A syntactic expression of a proposition, built up from quantifiers, logical connectives, variables, relation and operation symbols, and, depending on the type of logic, possibly other operators such as modal, temporal, deontic or epistemic ones.