Mat. tõestuse põhimõtted
Ü 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.
N äide: Tões tada, et kui täis arv n on paaris arv , s iis ta j agub 1-ga.
Tões tus : Et iga täis arv j agub ühega s iis on väide tõene, sõltu mat a eeldus es t et n on
paaris arv.
T ões tu s alam ju h tu d e p õh jal : tões tataks e et, kõigil võimal ikel juhtudel on väide
tõene. :
annaabi.ee 
