kinnitustehnikad
Kinnitustehnikad on meetodid, mille abil tõestatakse matemaatiliste ja loogiliste väidete kehtivus. Need põhinevad loogikal, definitsioonidel ja aksioomidel ning eesmärk on jõuda järeldust rangete sammude kaudu, without sõltu empiirilisest kinnitusest. Kinnitustehnikad moodustavad vundamendi, mille abil tekivad selged ja kontrollitavad tõestused ning peatükid matemaatiliste väidete kohta.
Peamised tehnikad hõlmavad otsest tõestust, kontrapositsiooniga tõestust ja tõestust vastuoluga. Otsene tõestus (direct proof) saavutatakse väite
Kinnitustehnikad on tihti omavahel seotud ja võivad koos esineda. Nende valik sõltub väite struktuurist ning definitsioonide