Na stronie używamy cookies. Korzystanie z witryny oznacza zgodę na ich wykorzystywanie. Szczegóły znajdziesz w Regulaminie.
ZAMKNIJ X

Dowód wprost

Ostatnio komentowane
Witam Dla mnie jednym z największych paradoksów współczesnego świata jest fakt,że p...
pawlo0 • 2017-08-16 17:57:59
WIEM,ŻE MISJE POKOJOWE ŚĄ BARDZO NIEBEZPIECZNE.Podziwiam ludzi,którzy są na misji,ż...
tereska1 • 2017-08-15 08:19:23
Dobre zestawienie. Polecam także ten artykuł http://edueduonline.pl/blog/e-mail-angielsk...
Sara • 2017-08-09 10:30:02
Umiem w matme wiem ile to jest pienc pluz czy
Kujon • 2017-08-08 17:08:22
ale ktoś trafił jak kulą w płot z Jarosławem Mądrym
b • 2017-08-11 12:35:03
Autor:
Drukuj
Drukuj
Rozmiar
AAA

Dowód wprost

Dowód jest skończonym ciągiem wyrażeń, z których każde albo wynika z poprzedniego, albo jest aksjomatem danej teorii.

Aksjomat to zdanie przyjmowane za prawdziwe bez dowodu. Każda teoria ma swoje aksjomaty, tj. początkowe założenia.

Celem dowodu jest wykazanie prawdziwości twierdzenia. Twierdzenie ma swoje założenia oraz tezę - a celem dowodu jest przeprowadzenie założeń twierdzenia w jego tezę.

 

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.

 

Przykład:

Udowodnić, że suma dwóch liczb nieparzystych jest liczbą parzystą.

Każdą liczbę nieparzystą możemy zapisać w postaci 2k + 1, gdzie k jest dowolną liczbą naturalną. Wówczas sumę dwóch liczb nieparzystych zapiszemy (2k_{1}+1)+(2k_{2}+1) co jest równe 2k_{1} + 1 + 2k_{2}+1 = 2k_{1}+2k_{2}+2 co z kolei możemy zapisać jako 2(k_{1}+k_{2}+1), co z całą pewnością jest liczbą parzystą - bo jest iloczynem dwóch liczb, z których jedna jest równa 2, a druga (k_{1}+k_{2}+1), a wiemy przecież, że w arytmetyce systemu dzisiętnego każda liczba podzielna przez 2 jest liczbą parzystą - co kończy dowód.

Na podstawie przyjętych założeń (tj., że mamy do dyspozycji dwie liczby nieparzyste) została udowodniona teza (że suma dwóch liczb nieparzystych jest liczbą parzystą). W tym miejscu powyższy fakt stał się twierdzeniem. 

Polecamy również:

  • 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: ... Więcej »

  • Indukcja matematyczna

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

Komentarze (0)
2 + 5 =