L em m a - väiks ema is es eis va tähts us ega teoree m, mis on enamas t i abiks teoree mi de tões ta mis e l. Järeld u s - toeree mis t ots es elt järelduv tule mus N äited: D efineeri ma ta obj ektid: punktid, jooned D efinits ioon: Kolmnurg a ümber mõ õt on võrdne s elle kol mnurga külgede s ummag a Teoree m: Täis nuks e kolmnurga kaatet ite ruutude s umma võrdub hüpotenuus i ruuduga. 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 .
L em m a - väiks e ma is es eis va tähts us ega teoreem, mis on ena mas ti abiks teoreemide tões ta mis e l. Järeld u s - toeree mis t ots es elt j ärelduv tule mus N äited: D efineeri ma ta obj ektid: punktid, jooned D efinits ioon: Kolmnurga ümber mõõ t on võrdne s elle kolmnurga külgede s ummaga Teoree m: Täis nuks e kolmnurga kaatet ite ruutude s umma võrdub hüpotenuus i 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 .
annaabi.ee 
