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 (sense 3)
Examples of 'natural deduction' in a sentence
natural deduction
Tableau and natural deduction systems for the logic are produced, as are appropriate algebraic structures.
Graham Priest 2009, 'Dualising Intuitionistic Negation', Principia: An International Journal of Epistemologyhttp://www.periodicos.ufsc.br/index.php/principia/article/view/13779/12629. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)
The set of the implemented operations allows for inference of formulas using the laws of natural deduction.
Łukasz Rogowski, Petr Sosík 2014, 'The Laws of Natural Deduction in Inference by DNA Computer', The Scientific World Journalhttp://dx.doi.org/10.1155/2014/834237. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)