natural deduction
名词 n.
英文释义
名词 n.
- A kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the "natural" way of reasoning, in contrast to axiomatic systems.
0 次浏览
数据来源: Wiktionary