Mat. tõestuse põhimõtted
V õims ai m tões tus e meetod on s elline, mis üldis tab ehk laiendab väite
kehtivus piirkonda.A nt aks e ette s uvaline x mil le korral eeldus P(x) on tõene j a
kas utades definits ioone, eelnevaid tulemus i j a reegleid j äreldataks e et Q(x) on
tõene.
Ots en e tões tu s e m eetod tähendab tões tus e es itamis t kuj ul
K ui P (x) on tõene x D .korral, s iis on ka Q(x) tõene
Tões tus e üldis e es itus ega tutvu mis eks vaatle me j ärgmis t näidet:
T oereem 1 : Iga m j a n Z korral, kui m j a n on paaris arvud, s iis on s eda ka m+ n
T ões tu s : O lgu m j a n paaris arvud, s iis s aame nad es itada kuj ul
m= 2*k1 j a n= 2*k2
ning m+ n s aame es itada kuj ul m+ n= 2*k1+ 2*k2= 2*(k1+ k2)= 2*k
Et k= k1+ k2 Z , s iis 2*k on paaris arv ehk m+ n on paaris arv.
Teoree m 2: K ui a j a b Q , s iis ka a+ b Q .
a1 b1
Tões tus
annaabi.ee 
