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.
Any mathematical rule expressed symbolically.
A symbolic expression of the structure of a compound.
A formal statement of doctrine.
A formulation; a prescription; a mixture or solution made in a prescribed manner; the identity and quantities of ingredients of such a mixture.
A plan or method for dealing with a problem or for achieving a result.
Synonym of theory