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

The only natural deduction is that it comes from the same source as the other sayings, and that source was not our synoptic Gospels.

From Supernatural Religion, Vol. II. (of III) An Inquiry into the Reality of Divine Revelation by Cassels, Walter Richard

We expect to hear so, as the natural deduction from John’s premises.

From Memories of Bethany by Macduff, John R. (John Ross)

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

From With Links of Steel by Carter, Nicholas