eeldusega). Juhul kui eeldused on tõesed, on tuletus ka tõestus. D9.1. Tuletus on lausete jada, kus iga lause on kas tuletuse eeldus või saadud temale jadas eelnevatest lausetest mingi tuletusreegli abil. Tuletus on kehtiv, kui selle iga samm on kehtiv arutlus, kusjuures tuletussammu kehtivuse hindamiseks kasutatakse tuletusreeglieid. Loogilised tuletussüsteemid luuakse sellistena, et tuletusreeglid kirjeldavad kehtivaid arutlusvorme, st arutlusskeeme, mille saab täita konkreetsete arutlustega. Nt arutlusskeemi: kui A-st järeldub B ja B-st C, siis A-st järeldub C saab täita mistahes väidetega. Arutlusskeemi täites peab samale tähisele vastama skeemis alati sama väide. Kui tegemist on järeldamise kui protsessi vormiga, siis käsutatakse väljendit järeldusskeem. Nõuded tuletusreeglitele: • korrektsus. Iga tuletusreegel peab olema kehtiv arutlusvorm; • kompaktsus
eeldusega). Juhul kui eeldused on tõesed, on tuletus ka tõestus. D9.1. Tuletus on lausete jada, kus iga lause on kas tuletuse eeldus või saadud temale jadas eelnevatest lausetest mingi tuletusreegli abil. Tuletus on kehtiv, kui selle iga samm on kehtiv arutlus, kusjuures tuletussammu kehtivuse hindamiseks kasutatakse tuletusreeglieid. Loogilised tuletussüsteemid luuakse sellistena, et tuletusreeglid kirjeldavad kehtivaid arutlusvorme, st arutlusskeeme, mille saab täita konkreetsete arutlustega. Nt arutlusskeemi: kui A-st järeldub B ja B-st C, siis A-st järeldub C saab täita mistahes väidetega. Arutlusskeemi täites peab samale tähisele vastama skeemis alati sama väide. Kui tegemist on järeldamise kui protsessi vormiga, siis käsutatakse väljendit järeldusskeem. Nõuded tuletusreeglitele: · korrektsus. Iga tuletusreegel peab olema kehtiv arutlusvorm; · kompaktsus
annaabi.ee 
