自然演绎 Natural deduction
（重定向自Natural deduction system）
在数理逻辑中，自然演绎是证明论中尝试提供象“自然”发生一样的逻辑推理形式模型的一种方式。这种方式对比于使用公理的公理系统。
Natural deduction system
中文百科
英语百科
Natural deduction 自然演绎
（重定向自Natural deduction system）
In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the "natural" way of reasoning. This contrasts with the axiomatic systems which instead use axioms as much as possible to express the logical laws of deductive reasoning.
- distributed priority network的意思
- distributed problem solving的意思
- distributed proccessing的意思
- distributed process的意思
- distributed process control的意思
- distributed process control system的意思
- distributed processes的意思
- Distributed processing.的意思
- Distributed processing的意思
- distributed processing control executive的意思
- distributed processing electronic mail的意思
- distributed processing environment的意思
- distributed processing management information system的意思
- distributed processing memory的意思
- distributed processing network的意思
- distributed processing network architecture的意思
- distributed processing programming executive的意思
- distributed processing programming executive base的意思
- distributed processing structure的意思
- distributed processing system的意思
- distributed processor的意思
- distributed processors的意思
- distributed processor system的意思
- distributed processsing memory的意思
- distributed production system的意思