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.
A trait, activity, or action closely associated with or aptly describing a person.
A name between the first given name and the family name or surname; a second or subsequent given name.
One's mother's maiden name.