1) consciousness deducing
自觉演绎
1.
However,the unconsciousness deducing of competition rule to the common worth of the law help us to research this condition.
虽然,这种所谓的规则最终并不一定以法律命名的形式显示于现实之中,然而,恰恰是体育竞赛规则对法之一般价值的非自觉演绎,促成了我们对这种演绎状况开始进行"自觉"化的推演和改造。
2) unconsciousness deducing
非自觉演绎
1.
However,the unconsciousness deducing of competition rule to the common worth of the law help us to research this condition.
虽然,这种所谓的规则最终并不一定以法律命名的形式显示于现实之中,然而,恰恰是体育竞赛规则对法之一般价值的非自觉演绎,促成了我们对这种演绎状况开始进行"自觉"化的推演和改造。
3) natural deduction
自然演绎
1.
Abstract operator logic and its natural deduction system;
抽象算子逻辑及其自然演绎系统
4) natural deduction t
自然演绎型
1.
Two intuitionistic systems of firstorder sentential calculus, Hilbert s type(HSI) and natural deduction type(NDSI), were introduced.
介绍了一阶命题演算的两个直觉主义系统 :希尔伯特型 (HSI)及自然演绎型 (NDSI) ,并证明了这两个系统的等价性 ,揭示了直觉主义逻辑的内涵及与其他非经典逻辑的关
5) natural deductive system
自然演绎系统
1.
The corresponding version in fuzzy logic of the natural deductive system of classical logic is disscussed.
讨论了经典逻辑的自然演绎系统在模糊逻辑中的对应形式。
6) automatic decuction
自动演绎推理
补充资料：奥地利学派的抽象演绎法
奥地利学派的抽象演绎法：反对历史学派，以抽象演绎法和历史学派的历史归纳法相对立，企图以彻底的主观主义更新资产阶级经济学的理论体系。把经济学的研究对象看作只是研究人和物之间的关系。奥地利学派抽象演绎法的特点：第一，把个人从社会和历史中抽象出来，个人经济是第一性的、本原的，社会是第二性的、派生的。第二，唯心主义的心理分析。经济研究的就是快乐与痛苦的关系。他们把政治经济学完全从属于心理学，甚至公开宣称政治经济学是实用心理学。评价：抽象掉社会生产关系，否认了经济范畴和经济规律的历史性。生产不仅供给物质以满足需求，并且也创造了需求。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条