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.
法律推理的科学模式应是形式论证与实质论证的有机统一。
应用推荐