English Explanatory Dictionary

natural deduction

English dictionary entry

Meanings

noun
  1. A kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the "natural" way of reasoning, in contrast to axiomatic systems.

Word forms

natural deduction
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on N Russian dictionary Dahl dictionary