在线词典
在线词典，是一款在线使用的中英文查词词典。本工具支持查询英文和中文单词及词组的含义，查询效率高、结果丰富，包括单词变体、常用短语、英英释义、同义词、同根词、词语辨析等，是外语学习者必备的在线查词工具。
输入要查询的单词：
well-formed formula
查词链接：
https://www.dute.org/dict/well-formed_formula复制链接 [计] 合式公式
查看英英释义
abstract:
In mathematical logic, a well-formed formula, shortly wff, often simply formula, is a word (i.e.
网络释义
合式公式
下文中说的公式（formula）即为合式公式（well-formed formula），事实（facts）是封 闭的公式，可能假设（possible hypotheses）是带有自由变元的公式，公式的实例（instance） 是指对原公式中...
该逻辑的公式
...义 一个逻辑的表达能力可以从以下的3 个角度来分析：（1）给定一个逻辑，什 么样的符号串是该逻辑的公式（well-formed formula）；（2）一个逻辑公式的语 安徽建筑工业学院 毕业设计（论文） 2 义解释；（3）利用翻译把一个逻辑翻译到另一个逻辑之上，然后比较...
形公式
良形公式（well-formed formula）的形式为 { P } C { Q }
合适公式
合适公式( wff,well-formed formulas)的递归定义：..
常用短语
正在查询...
{error}
你是不是想查找：
- {typos}
{word}
{phones} {trans} {trans_ee} {exam_types}{web_trans} {variants} {phrases} {synonyms} {rels} {discriminations} 查词链接：
{link}复制链接{phones}
{text}：[{value}]{trans}
{trans}
{pos}
{tran}
{tran}
查看英英释义
{trans}
{pos}
{list} {tran}
{words}{word}同义词： {words}
{pos}
{words}
{exam_types}
单词变体
- {variants}
常用短语
- {phrases}
网络释义
{web_trans}
{tran}
{detail}
近义词
{synonyms}
{pos} {tran}
{words}
同根词
{rels}
{pos}
{words}
{word}{tran}
词语辨析
{discriminations}
{num}、{title}
{description}- {usages}
{description}