- 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
Natural Deduction (noun) Definition, Meaning & Examples
