网站首页  情感咨询  情感美文  情感百科  情感生活  学习充电  旧版美文

请输入您要查询的词汇：

　

词汇 Well formed formula
分类 英语词汇 英语翻译词典
释义

Well formed formula

中文百科

合式公式 Well-formed formula

（重定向自Well formed formula）

在形式系统与逻辑中，WFF是合式公式（well-formed formula）的缩写。给定一个形式文法，WFF是这个文法生成的任何字符串。

例如，在命题演算中符号串行((\alpha\rightarrow\beta)\rightarrow(\neg\beta\rightarrow\neg\alpha))是一个WFF，因为它在文法上正确。符号串行((\alpha\rightarrow\beta)\rightarrow(\beta\beta))\alpha))不是WFF，因为它不符合命题演算的文法。

在形式逻辑中，证明是有特定性质的WFF串行，而串行中最终的WFF就是要证明的。

英语百科

Well-formed formula 合式公式

（重定向自Well formed formula）
This diagram shows the syntactic entities which may be constructed from formal languages. The symbols and strings of symbols may be broadly divided into nonsense and well-formed formulas. A formal language can be thought of as identical to the set of its well-formed formulas. The set of well-formed formulas may be broadly divided into theorems and non-theorems.
Esta imagen muestra la relación entre las cadenas de caracteres, las fórmulas bien formadas y los teoremas. En algunos sistemas formales, sin embargo, el conjunto de los teoremas coincide con el de las fórmulas bien formadas.

In mathematical logic, a well-formed formula, shortly wff, often simply formula, is a word (i.e. a finite sequence of symbols from a given alphabet) that is part of a formal language. A formal language can be considered to be identical to the set containing all and only its formulas.
随便看

　

依恋情感网英汉例句词典收录3870147条英语例句词条，基本涵盖了全部常用英语单词的释义及例句，是英语学习的有利工具。

　

Copyright © 2004-2024 Yiyi18.com All Rights Reserved
京ICP备2021023879号 更新时间：2025/8/6 0:14:58