natural deduction

British  

noun

1. 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

What seemed like a natural deduction in the West -- behaving like a group must mean a suppression of the self -- was a leap in logic in Japan.

From Salon • Jun. 18, 2011

A natural deduction from this was that one person or few persons must own many times 40 shares to bring the average up.

From Time Magazine Archive

If somebody says: "A rickety cradle may mean a rickety baby," the natural deduction, one would think, would be to give the people a good cradle, or give them money enough to buy one.

From Utopia of Usurers and Other Essays by Chesterton, G. K. (Gilbert Keith)

The natural deduction is that wood of first-class mechanical value shows from 5 to 20 rings per inch and that slower growth yields poorer stock.

From The Mechanical Properties of Wood Including a Discussion of the Factors Affecting the Mechanical Properties, and Methods of Timber Testing by Record, Samuel J.

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

From Trevlyn Hold by Wood, Mrs. Henry