Natural deduction

Noun

Word Frequency: 0.1

Definitions

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

Synonyms

analysis deduction proof system sequent calculus logical calculus theorem forward reasoning deductive reasoning inference rule intuitionism inference to the best explanation formal logic

🔗 Find words with "natural deduction" in A2Z Word Finder

The Daily Word NerdA new word, a puzzle, and a fun fact — free in your inbox every morning.

Free forever · unsubscribe anytime · all 14 newsletters

That email did not go through — please check it and try again.