Gratis ordbok - engelska svenska tyska lexikon

Definitioner

Substantiv

1. (mathematics, logic) The method of proving a statement by assuming the statement is false and, with that assumption, arriving at a blatant contradiction.