natural deduction

noun

1. See axiomatic
   a system of formal logic that has no axioms but permits the assumption of premises of an argument. Such a system uses sequents to record which assumptions are operative at any stage Compare axiomatic

Example Sentences

Having once granted this, the natural deduction followed that if a girl was fit to rule at eighteen, a boy was fit to rule sooner.

From Project Gutenberg

Keen Nora noted the signs, drew a very natural deduction, and shaped her tactics accordingly.

From Project Gutenberg

This was, indeed, the most natural deduction for Nick to arrive at, after considering all the circumstances.

From Project Gutenberg

The natural deduction from this is that the main settlement of the Antiphoner of the Mass fell within the same period.

From Project Gutenberg

No, sir; and, also based on the natural deduction because I adore mystery stories and it just doesn't make any sense.

From Project Gutenberg