definitions
  • synonyms

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)

RELATED CONTENT

🇵🇷- Flag for Puerto Rico Emoji - Emoji by Dictionary.comRead more in this article about some frequently asked questions and fun facts related to our definitions.
READ MORE

Nearby words

natural bridge, natural child, natural childbirth, natural classification, natural death, natural deduction, natural dye, natural frequency, natural gas, natural gender, 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