Mat. tõestuse põhimõtted
s eos m= n, mis s uvalis te täis arvude korral ei kehti
- H üppeline üle minek tulemus e le
- Tule mus t ennas t kas utataks e tões tus e sees
K ontranäite l põhinev tões tus :
Tões tada et j ärgmine väide pole tõene
a ,b R korral , kui a < b s iis ka a 2 < b 2
V ali me a= -2 j a b= -1.
Ü les anne1: Tões tada, et kahe rats ionaararvu korrutis on rats ionaalarv.
Ü les anne2:
Tões tada kontranäit e abil, et järgnev progra mmikood ei leia alati mini ma als et N
täis arvu hulgas t
2. Teisi tõestuse meetodeid
T äh en d us eta ( vacu ou s ) tões tus : J äreldus e p q tões tus , mi lles näidataks e et p on
väär.
N äide: kui x Ø , s iis J uku läheb kooli.
Et x ei saa kuuluda tühj a hulka s iis loetaks e väide ,,J uku läheb kooli " tähendus eta
õigeks .
T riviaaln e tões tus : J äreldus e p q tões tus , mi lles näidataks e q on tõene s õltu mata
p väärtus es t.
annaabi.ee 
