natural deduction


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 (def. 3)

Words Nearby natural deduction

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

How to use natural deduction in a sentence

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

    South America | W. H. Koebel
  • Keen Nora noted the signs, drew a very natural deduction, and shaped her tactics accordingly.

    Trevlyn Hold | Mrs. Henry Wood
  • This was, indeed, the most natural deduction for Nick to arrive at, after considering all the circumstances.

    With Links of Steel | Nicholas Carter
  • The natural deduction from this is that the main settlement of the Antiphoner of the Mass fell within the same period.

  • No, sir; and, also based on the natural deduction because I adore mystery stories and it just doesn't make any sense.

    Warren Commission (9 of 26): Hearings Vol. IX (of 15) | The President's Commission on the Assassination of President Kennedy