J äreldus : kui kolmnurg a külj ed on võrds e pikkus ega, s iis on s elle kolmnug a nurgad s amut i võrds ed. Teoree mi tões us e põhj endamis t, nimet ataks e tões tus eks . Loogika on vahend tões tus e läbivii mi s eks . V aatle me es ialgu s ellis eid tões tamis e me etode id, mid a es itataks e kuj ul ,, x , mil le korral P (x)" . S ellis ed teoreemid tagavad, et eks is teerib vähe mal t üks x mi lle korral predikaat P (x) on õige. S ellis t tões tus t nime tataks e kons truktiivs eks . Tões tus s is aldab s ellis e x leidmis t mill e korral P(x) on tõene või s iis algoritmi koos tamis t s ellis e x leid mis eks . K ons truktiivs e tões tus e näide: tões tada et leidub täis arv mil le ruut on 81. Tões tus : 9*9= 81 M ittekons trukti ivne tões tus s is aldav j ärgmis i või malus i a) väite kinnita mi s eks kas utataks e juba tões tatud teoreeme b ) kas utataks e vas tuväite lis t tões tus t, ehk põhj endataks e, et eeldus , et ei leidu
ruuduga. J äreldus : kui kolmnurga külj ed on võrds e pikkus ega, s iis on s elle kolmnug a nurgad s amut i võrds ed. Teoree mi tões us e põhj endamis t, nimeta taks e tões tus eks . Loogika on vahend tões tus e läbivii mi s eks . Vaatl eme es ialgu s ellis eid tões tamis e mee todeid, mida es itataks e kujul ,, x , mil le korral P (x)" . S ellis ed teoreemid tagavad, et eks is teerib vähe mal t üks x mi lle korral predikaat P (x) on õige. S ellis t tões tus t nime tataks e kons truktiivs eks . Tões tus s is aldab s ellis e x leidmis t mille korral P(x) on tõene või s iis algorit mi koos tamis t s ellis e x leid mis eks . K ons truktiivs e tões tus e näide: tões tada et leidub täis arv mil le ruut on 81. Tões tus : 9*9= 81 M ittekons trukti ivne tões tus s is aldav j ärgmis i või malus i a) väite kinnita mi s eks kas utataks e juba tões tatud teoreeme b ) kas utataks e vas tuväite lis t tões tus t, ehk põhj endataks e, et eeldus , et ei leidu
annaabi.ee 
