lõppjäreldus) eraldi, nende abil ei saa teha asendusi ühe väite sees ega asendada ühte eeldust teisega. Tuletusreegel kehtib tuletussammu kui terviku kohta. Tuletusreeglid töötavad vaid ühes suunas, need näitavad, millise lõppjärelduse saab eeldustest tuletada. Lisaks tuletusreeglitele on meie loomuliku tuletuse süsteemis veel ka lausearvutuse teisendusreeglid, mis on sisuliselt asendusreeglid. Asendusreegleid võib kasutada kas terve tuletussammu läbiviimiseks (tuletusreeglina) või tuletussammu osade teisendamiseks. Samasuse märk rõhutab, et asendusreegli (teisendusreegli) mõlemad pooled on täiesti samaväärsed ja neid saab alati üksteisega asendada. Kui teisendusreegleid kasutada tuletusreeglina, siis peab arvestama, et neil on üks eeldus ja üks lõppjäreldus ning et teisendusreeglid töötavad ka vastupidises suunas: teisendusreegli abil saadud tulemist saab omakorda järeldada sellesama eelduse, millest tulem tuletati. Tabel 9.2. Asendusreeglid (vrdl
lõppjäreldus) eraldi, nende abil ei saa teha asendusi ühe väite sees ega asendada ühte eeldust teisega. Tuletusreegel kehtib tuletussammu kui terviku kohta. Tuletusreeglid töötavad vaid ühes suunas, need näitavad, millise lõppjärelduse saab eeldustest tuletada. Lisaks tuletusreeglitele on meie loomuliku tuletuse süsteemis veel ka lausearvutuse teisendusreeglid, mis on sisuliselt asendusreeglid. Asendusreegleid võib kasutada kas terve tuletussammu läbiviimiseks (tuletusreeglina) või tuletussammu osade teisendamiseks. Samasuse märk rõhutab, et asendusreegli (teisendusreegli) mõlemad pooled on täiesti samaväärsed ja neid saab alati üksteisega asendada. Kui teisendusreegleid kasutada tuletusreeglina, siis peab arvestama, et neil on üks eeldus ja üks lõppjäreldus ning et teisendusreeglid töötavad ka vastupidises suunas: teisendusreegli abil saadud tulemist saab omakorda järeldada sellesama eelduse, millest tulem tuletati. Tabel 9.2. Asendusreeglid (vrdl
annaabi.ee 
