n (logic) 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.