indirekte bevis

indirekte bevis in logic: proof resting on the fact that the opposite of what is to be proved… i logikk: bevis som bygger på at det motsatte av det som skal bevises, ikke er…