,, 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 s ellis t x-i mill e korral P(x) on tõene viib vas tuoluni. Teoree mi d es inevad s ageli kuj ul: x D . K ui on tõene P (x) s iis on tõene ka Q (x) P (x)-eeldus Q (x)-väide N äide : tões tada, et iga täis arvu n korral vahemikus 1 n 10 on n 2 - n + 11 algarv
,, 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 s ellis t x-i mill e korral P(x) on tõene viib vas tuoluni. Teoree mid es inevad s ageli kujul: x D . K ui on tõene P (x) s iis on tõene ka Q (x) P (x)-eeldus Q (x)-väide N äide : tões tada, et iga täis arvu n korral vahemikus 1 n 10 on n 2 n 11 algarv
annaabi.ee 
