natural deduction

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

Nearby words

  1. natural bridge,
  2. natural child,
  3. natural childbirth,
  4. natural classification,
  5. natural death,
  6. natural dye,
  7. natural frequency,
  8. natural gas,
  9. natural gender,
  10. natural harmonics

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