natural deduction system
读音:英 [ˈnætʃrəl dɪˈdʌkʃn ˈsɪstəm]
美[ˈnætʃrəl dɪˈdʌkʃn ˈsɪstəm]
natural deduction system 基本解释
[计] 自然演绎系统
重点词汇
natural adj. 自然的;物质的;天生的;不做作的 n. 自然的事情;(生来的)白痴;[乐](风琴等的)白键
deduction n. 减除, 扣除, 减除额, 推论 [医] 演绎, 推论
system n. 体系,系统;制度;身体;方法
natural deduction system是什么意思 natural deduction system怎么读 natural deduction system中文意思 翻译