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

Words nearby natural deduction

natural bridge, natural child, natural childbirth, natural classification, natural death, natural deduction, natural dye, natural frequency, natural gas, natural gender, natural harmonics