自然演绎

【计】 natural deduction

自然的英语翻译：

nature; of course
【医】 nature; physio-

演绎的英语翻译：

deduce; deduct; illation; deduction; syllogism
【医】 deduction