proof by exhaustion

English

Noun

proof by exhaustion (plural proofs by exhaustion)

  1. (logic) The indirect verification or falsification of a statement by the verification or falsification of each of the finite number of cases which arise therefrom.

Translations

Translations
This article is issued from Wiktionary. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.