Natural Deduction Definition
noun
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.
Wiktionary
Find Similar Words
Find similar words to natural deduction using the buttons below.