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

Then the natural deduction is that he has learned to apply new ways and methods, by and through which he can produce surer and more beautiful results than could his predecessor in his profession.

From Seed Thoughts for Singers by Tubbs, Frank Herbert

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 South America by Koebel, W. H. (William Henry)

The natural deduction for conventional people like Hilda and Edith was that—now, don't be annoyed at what I'm going to say, but I always speak out—I'm famous for my frankness.

From Poor Relations by MacKenzie, Compton