vahel. Igal konkreetsel tuletuse sammul võib tuletussammu eeldusena tulla kasutusele: a) mõni tuletuse kui terviku eeldus, mida pole üheski varasemas tuletussammus kasutatud; b) mõni tuletuse kui terviku eeldus, mida on ka varasemates tuletussammudes kasutatud; c) mõni varasema tuletussammu tuletis ehk vahetuletis. Allpool peetakse väljendi ,,tuletuse eeldused" all silmas tuletise kui terviku eeldusi, mille hulka ei kuulu vahetuletised. Kui kõik tuletuse eeldused on tõesed, on tõesed ka iga kehtiva tuletussammu tuletised. Nii saadud vahetuletised võivad esineda tõeste eeldustena järgnevates tuletussammudes. Kui tuletuse eeldused on tõesed ja tuletus tervikuna on kehtiv, siis on tõene ka kehtiva tuletuse lõppjäreldus, mis langeb kokku viimase sammu lõppjäreldusega (ning see omakorda võib erijuhtumil langeda kokku mõne tuletise eeldusega). Juhul kui eeldused on tõesed, on tuletus ka tõestus. D9.1
vahel. Igal konkreetsel tuletuse sammul võib tuletussammu eeldusena tulla kasutusele: a) mõni tuletuse kui terviku eeldus, mida pole üheski varasemas tuletussammus kasutatud; b) mõni tuletuse kui terviku eeldus, mida on ka varasemates tuletussammudes kasutatud; c) mõni varasema tuletussammu tuletis ehk vahetuletis. Allpool peetakse väljendi ,,tuletuse eeldused" all silmas tuletise kui terviku eeldusi, mille hulka ei kuulu vahetuletised. Kui kõik tuletuse eeldused on tõesed, on tõesed ka iga kehtiva tuletussammu tuletised. Nii saadud vahetuletised võivad esineda tõeste eeldustena järgnevates tuletussammudes. Kui tuletuse eeldused on tõesed ja tuletus tervikuna on kehtiv, siis on tõene ka kehtiva tuletuse lõppjäreldus, mis langeb kokku viimase sammu lõppjäreldusega (ning see omakorda võib erijuhtumil langeda kokku mõne tuletise eeldusega). Juhul kui eeldused on tõesed, on tuletus ka tõestus. D9.1
annaabi.ee 
