第三层次 -- 形式演绎期(Formal Deduction)：在这个阶段的学童能利用演绎逻辑证明定理， 并且建立相关定理间的网路结构。此时，学童可以在一个公设系统中建立几何理论。
基于52个网页-相关网页
General deduction and strong completeness of the formal deductive system l? Are further studied.
进一步讨论了形式系统L ？中的一般演绎推理及强完备性问题。
Under the formal method, the notion of deduction in the classical logics captures the intuitively correct forms of reasoning.
在形式化方法下，经典逻辑通过严格概念推演表达正确推理形式的直观概念。
This paper holds that the scientific mode of legal deduction should be the organic unification of formal reasoning and substantial reasoning.
法律推理的科学模式应是形式论证与实质论证的有机统一。
应用推荐