natural deduction


noun

  1. 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)

Leave a Reply

Your email address will not be published. Required fields are marked *

54 queries 1.402