natural deduction
A kind of proof calculus in which logical reasoning is expressed by inference rules…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.
Meaning
1 senses(uncountable)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.
Lessons for this word
1 lessons- A1Countable and uncountable nouns — Because it can be uncountable