well-formed formulaWiktionary 原文释义（英文）名词 Noun(logic) A statement that is expressed in a valid, syntactically correct manner.