formal logic

英美

正式逻辑：一种逻辑系统（如亚里士多德逻辑或符号逻辑），它从思维的内容中抽象出形式，以建立一些抽象的一致性标准，与物质逻辑相对比。

[社科] 形式逻辑

形式逻辑（formal logic）是研究演绎推理及其规律的科学，包括对于词项和命题形式的逻辑性质的研究、思维结构的研究与必然推出的研究，它提供检验有效的推...

情势思维规律

内在情势思维规律(formal logic)是研究演绎法及其纪律的科学，包孕对词项以及出题目情势的思维规律性子的研究、思维布局的研究与肯定是推出的研究，它供给查验有...

逻辑学

45 45 L o g o 形式逻辑的对象 国际上普遍认可的定义：  形式 逻辑学 （ Formal logic ）主要是研究推出关系或推理的有效性的科学，目的在于提供一系列可操作的原理和方法，把有效推理跟非有效推理区别开来。

形式论理

... Mathematical Logic 数理论理学 ; 数学论理 formal logic 形式论理 propositional logic 命题论理 ...

1. pure logic or formal logic：故纯粹逻辑或形式逻辑

4. many-valued formal logic：[数] 多值形式逻辑

6. aa formal logic：情势思维规律

You arrived at your conclusion using the methods of formal logic.

你这个结论是按照形式逻辑的方法推论出来的。

《新英汉大辞典》

Many of these researchers study evolution and natural adaptation instead of formal logic and conventional computer programs.

这些研究人员中许多都研究进化和自然适应，而不是形式逻辑和传统的计算机程序。

In terms of formal logic, the problems are the same.

在形式逻辑方面，问题是一样的。