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 Q( 6 ) = 41 Q( 7 ) = 53 Q( 8 ) = 67 Q( 9 ) = 83 Q( 10 ) =101 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.
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 Q( 6 ) 41 Q( 7 ) 53 Q( 8 ) 67 Q( 9 ) 83 Q( 10 ) 101 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.
annaabi.ee 
