Dowod Julcia: Przykład dowodu nie wprost i sprowadzenia do absurdu

Basia: https://pl.wikipedia.org/wiki/Dow%C3%B3d_nie_wprost

Lech: np. udowodnic , ze liczba a = log₂ 5 , jest niewymierna Zakladamy ,ze jest wymierna czyli : log₂ 5 = p/q , p,q liczby calkowite , q≠0 Zatem : log₂ 5 = p/q ⇔ 2^p/q = 5⇔ 2^p = 5^q , to otrzymujemy sprzecznosc , bo liczba 2^p jest parzysta , zas liczba 5^q nieparzysta , wiec log₂ 5 ≠ p/q

Julcia: a wytłumaczy mi ktoś tak swoimi słowami czym rozni sie dowod nie wprost aod dowodu do sprowadzenia do absurdu?

Basia: Niczym. To różne nazwy tego samego.