2) natural deduction
自然推理
1.
Automated reasoning for natural deduction system NR of relevance propositional logic
相干命题逻辑自然推理系统NR的自动证明
2.
The rule of supposed premise elimination in the system of natural deduction is for eliminating the supposed premises by structuring a implication expression in the course of introducing the supposed premises to infer the conclusion.
自然推理系统中假设前提销去规则是指在引入假设前提推导出结论的过程中,运用蕴涵引入规则构造一个蕴涵式,从而销去假设前提。
3) The theory of natural system
自然系统理论
4) physiographical systems
自然地理系统
1.
The spatial organization of physiographical systems depends upon the order of morphological elements in landscape structure.
自然地理系统的空间结构取决于景观结构形态要素的有序性。
5) the Natural-system Ethics View
自然系统论伦理
6) nature system
自然系统
1.
The nature system has two main inherent qualities, the integral inherent quality of complement of diversities and the dialectical inherent quality of unity of opposites.
自然系统有两个主要本性，即差异相辅的整体本性和对立统一的辩证本性，前者为自然系统的显在本质，后者为自然系统的潜在本质，两者在相互渗透中发挥作用。
2.
The occurrence,forming and development of National Musical Aesthetic Psychology is influenced and effected by the factors of mountain range,river system,climate of geographic environment in nature system,mode of production,political structure,philosophic thinking,patriarchal clan system in social system,and collective unconsciousness as deep psychological structure.
民族的音乐审美心理之发生、形成与发展受到自然系统中地理环境的山脉水系、气候因素,社会系统中生产方式、社会政治结构、哲学伦理思想、宗教宗法思想以及作为深层心理结构的“集体无意识”的影响与制约。
补充资料：演绎推理(见推理)
演绎推理(见推理)
deductive inference
住理。yanyl tullj演绎推理(deduetive infer。二ee)见
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条