natural deduction

British

noun

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

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

From St. Gregory and the Gregorian Music by Wyatt, E. G. P.

This would be the natural deduction to draw from the premise of evolution.

From The Saint by Thayer, William Roscoe

The natural deduction from this is that we should say "do" rather than "don't"; open up the natural way for rightful activity instead of uttering loud warning cries at the entrance to every wrong path.

From Study of Child Life by Washburne, Marion Foster

Definitions and idiom definitions from Dictionary.com Unabridged, based on the Random House Unabridged Dictionary, © Random House, Inc. 2023