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 Tões tus s eks teis enda me ess pooltoodud kujule n N , P( x ) = { n 1 n 10 } Q( x ) = n - n + 11 on algarv 2 Tões tus : A rvutame välj a kõik vaj alikud väärtus ed: Q( 1 ) =1 Q( 2 ) = 13 Q( 3 ) =17 Q( 4 ) = 23 Q( 5 ) = 31
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 Tões tus s eks teis enda me ess pooltoodud kuj ule n N , P( x ) { n 1 n 10 } Q( x ) n n 11 on algarv 2 Tões tus : A rvutame välj a kõik vaj alikud väärtus ed: Q( 1 ) 1 Q( 2 ) 13 Q( 3 ) 17 Q( 4 ) 23 Q( 5 ) 31
annaabi.ee 
