Dowód nie wprost

Dowód nie wprost pochodzi wprost ze starożytnej Grecji, gdzie w dyskusjach (zwłaszcza prowadzonych przez Sokratesa) był bardzo popularną metodą. Jego idea jest następująca: zakładamy, że twierdzenie, które chcemy udowodnić jest nieprawdziwe, a następnie dochodzimy do sprzeczności, korzystając z zasad poprawnego wnioskowania. Jeśli w istocie zaprzeczenie twierdzenia doprowadzi nas do sprzeczności, to znaczy to ni mniej ni więcej niż tyle, że samo twierdzenie jest prawdziwe.

Innymi słowy, dowodzimy prawdziwości twierdzenia nie wprost, tylko „na około”, tj. dochodząc do sprzeczności starając się udowodnić, że twierdzenie jest nieprawdziwe.

 

Przykład:

Pokazać, że każda liczba niepodzielna przez 5, nie jest również podzielna przez 10.

Załóżmy odwrotnie, że istnieje liczba niepodzielna przez 5 ale podzielna przez 10. Oznaczmy ją jako \(n\). Jeśli jest ona podzielna przez 10, to możemy zapisać, że \(n = 10k\), gdzie \(k\) jest jakąś liczbą naturalną. Ale możemy rozpisać \(n = 10k = 5 \cdot 2k\) - skąd widać, że \(n\) jest podzielna przez 5 - co prowadzi do sprzeczności z przyjętymi założeniami (założyliśmy, że \(n\) jest niepodzielna przez 5). Zaprzeczyliśmy więc twierdzeniu i doszliśmy do sprzeczności - co prowadzi nas do wniosku, że twierdzenie jest prawdziwe.

Polecamy również:

  • Dowód wprost

    Klasyczny dowód, zwany inaczej dowodem wprost, polega na przyjęciu założeń i takim wyciąganiu z nich wniosków, by finalnie dojść do tezy dowodzonego twierdzenia. Więcej »

  • Indukcja matematyczna

    Dowód indukcyjny to dowód, w którego przeprowadzaniu korzysta się z zasady indukcji matematycznej. Więcej »

Komentarze (0)
Wynik działania 1 + 5 =
Ostatnio komentowane
nie wiem po co takie łatwe działanie
• 2025-02-04 15:03:23
W planie wydarzeń punkt 1 i 2 powinny być zamienione miejscami.
• 2025-01-29 19:30:27
Jest tu zawarte wiele niezbędnych oraz interesujących informacji o twórcy i artyście jakim...
• 2025-01-26 10:13:01
To ja ola
• 2025-01-20 14:10:30
bardzo się przyda na ściągi na kartkówki
• 2025-01-16 13:41:59