indirekt bevis
indirekt bevis, bevis i vilket man först antar som hypotes motsatsen till det som skall bevisas och sedan härleder en motsägelse därifrån.
Indirekta bevis finns av två slag: antagandet (ur vilket en motsägelse härleds) kan ha formen A och slutsatsen formen icke-A, eller också kan antagandet ha formen icke-A och slutsatsen formen A; sistnämnda form godtas inte av intuitionismen.
Källangivelse
Vill du komma åt hela artikeln?
Objektiv och pålitlig kunskap.
Prova det, du kommer att gilla det!
Marknadsledare i Sverige.