Dictionary.com
Thesaurus.com
Showing results for natural deduction. Search instead for actual deduction.

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

"Collins English Dictionary — Complete & Unabridged" 2012 Digital Edition © William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009, 2012

Example Sentences

Examples are provided to illustrate real-world usage of words in context. Any opinions expressed do not reflect the views of Dictionary.com.

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

And this brings us to another very natural deduction.

From The Continental Monthly, Vol. 4, No. 5, November, 1863 by Various

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

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)

Vocabulary.com logo
by dictionary.com

Look it up. Learn it forever.

Remember "natural deduction" for good with VocabTrainer. Expand your vocabulary effortlessly with personalized learning tools that adapt to your goals.

Take me to Vocabulary.com