järeldusprotsessi kui terviku läbi viimiseks on vaja mingit eelduste hulka (mis võib olla ka tühihulk). Tuletuse eeldused on väited, mille tõesus on ette antud. Tuleb vahet teha konkreetse tuletussammu eelduste ja tuletuse kui terviku eelduste 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
järeldusprotsessi kui terviku läbi viimiseks on vaja mingit eelduste hulka (mis võib olla ka tühihulk). Tuletuse eeldused on väited, mille tõesus on ette antud. Tuleb vahet teha konkreetse tuletussammu eelduste ja tuletuse kui terviku eelduste 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
annaabi.ee 
