

formulae
/ΛfΙΛ(ΙΉ)mjΙΛlaΙͺ/





noun
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.

