Sanakirja
Tekoälykääntäjä

Käännöksiä ei löytynyt valitulle kohdekielelle.

Määritelmät

Substantiivi

  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.

Taivutusmuodot

Monikkoproofs by exhaustion