J: Prille ei saanud varastada varas. 31_fl_vi-x (L8a) LOOMULIK TULETUSSÜSTEEM (ik system of natural deduction) Sümboleid: eeldustest saab tuletada, samasus (loogiline samaväärsus); ¬ eitus; & konjunktsioon; V disjunktsioon; implikatsioon; ekvivalents; Tuletussüsteem koosneb tuletusreeglitest ja teisendusreeglitest. Tuletusreeglid näitavad mida saab mingist väitest (oletusest) või väidetest tuletada. Nende reeglite endi põhjendamine osutub aga tõsiseks filosoofiliseks probleemiks. Nagu loogikaid nii on ka tuletussüsteeme mitmesuguseid, nt predikaatarvutuse tuletussüsteem. Järgnevalt käsitleme nö loomulikku tuletussüsteemi võttes aluseks Copi ja Coheni raamatu, mis pole mõeldud matemaatikutele. Esitatud süsteem on täielik ja kasutab lausearvutust
Lausearvutuse materjalis mainiti, et ka lausearvutus on omaette keel ning defineeriti lausearvutuse süntaks (D.7.5), predikaaltloogikas defineeriti predikaatarvutuse süntaks (D.8.7). Tuletussüsteemi kuuluvad alati ka süntaksireeglid, mille põhjal saab otsustada, kas vaadeldav objekt kuulub antud tuletussüsteemi või mitte. Nt saab üles ehitada lausearvutusel põhineva tuletussüsteemi, milles tuleb järgida lausearvutuse süntaksit. Tuletussüsteem koosneb tuletusreeglitest, teisendusreeglitest ja süntaksireeglitest. Oskussõna tuletussüsteem sünonüümideks (mõnetiste kontekstuaalsete eripäradega) on terminid formaalne aksiomaatiline süsteem; arvutus; tõestussüsteem. Tuletus koosneb 2 tuletussammudest. Üks tuletussamm on mingi konkreetse väite tuletamine eelduste või varem saadud vahetulemuste põhjal. Tuletusreeglid näitavad, mida saab mingi kujuga lausena esitatud väitest (oletusest) või väidetest selles tuletussammus järeldada, milline on sammu tulem
Lausearvutuse materjalis mainiti, et ka lausearvutus on omaette keel ning defineeriti lausearvutuse süntaks (D.7.5), predikaaltloogikas defineeriti predikaatarvutuse süntaks (D.8.7). Tuletussüsteemi kuuluvad alati ka süntaksireeglid, mille põhjal saab otsustada, kas vaadeldav objekt kuulub antud tuletussüsteemi või mitte. Nt saab üles ehitada lausearvutusel põhineva tuletussüsteemi, milles tuleb järgida lausearvutuse süntaksit. Tuletussüsteem koosneb tuletusreeglitest, teisendusreeglitest ja süntaksireeglitest. Oskussõna tuletussüsteem sünonüümideks (mõnetiste kontekstuaalsete eripäradega) on terminid formaalne aksiomaatiline süsteem; arvutus; tõestussüsteem. Tuletus koosneb 2 tuletussammudest. Üks tuletussamm on mingi konkreetse väite tuletamine eelduste või varem saadud vahetulemuste põhjal. Tuletusreeglid näitavad, mida saab mingi kujuga lausena
annaabi.ee 
