Matemaatiliste tõestuste meetodid
Ü les anne2:
Tões tada kontranäit e abil, et järgnev programmi kood ei leia alati mini ma als e t 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 , mill es 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 .
Triv iaaln e tões tus : J äreldus e p q tões tus , mill es näidataks e q on tõene s õltuma ta
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 htu d e p õh jal : tões tataks e et, kõigil võima like l j uhtudel on väide
tõene. :