well-formed formula (wff) In logic, a well-formed formula is a finite sequence of symbols from a finite alphabet that is part of a formal language and validly constructed from the rules of that language.
well-formed formula
数学辞典收录了4151条数学词条，基本涵盖了常用数学知识及数学英语单词词组的翻译及用法，是数学学习的有利工具。