在线词典
在线词典，是一款在线使用的中英文查词词典。本工具支持查询英文和中文单词及词组的含义，查询效率高、结果丰富，包括单词变体、常用短语、英英释义、同义词、同根词、词语辨析等，是外语学习者必备的在线查词工具。
输入要查询的单词：
formal logic
查词链接：
https://www.dute.org/dict/formal_logic复制链接 正式逻辑：一种逻辑系统（如亚里士多德逻辑或符号逻辑），它从思维的内容中抽象出形式，以建立一些抽象的一致性标准，与物质逻辑相对比。
查看英英释义
n.
any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
网络释义
形式逻辑
形式逻辑（formal logic）是研究演绎推理及其规律的科学，包括对于词项和命题形式的逻辑性质的研究、思维结构的研究与必然推出的研究，它提供检验有效的推...
情势思维规律
内在情势思维规律(formal logic)是研究演绎法及其纪律的科学，包孕对词项以及出题目情势的思维规律性子的研究、思维布局的研究与肯定是推出的研究，它供给查验有...
逻辑学
45 45 L o g o 形式逻辑的对象 国际上普遍认可的定义： 形式 逻辑学 （ Formal logic ）主要是研究 推出关系或推理的有效性的科学，目的 在于提供一系列可操作的原理和方法， 把有效推理跟非有效推理区别开来。
形式论理
... Mathematical Logic 数理论理学 ; 数学论理 formal logic 形式论理 propositional logic 命题论理 ...
常用短语
更多常用短语正在查询...
{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}