A formal statement of doctrine.
Any mathematical rule expressed symbolically.
A symbolic expression of the structure of a compound.
A formulation; a prescription; a mixture or solution made in a prescribed manner; the identity and quantities of ingredients of such a mixture.
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.
A plan or method for dealing with a problem or for achieving a result.
A prayer book.
A book containing the prayers and responses needed when celebrating the Roman Catholic Mass throughout the year.