[社科]?形式逻辑

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

?情势思维规律

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

?逻辑学

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

?形式论理

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