ameerika filosoof ja loogik Charles Sanders Peirce (1839-1914) ning saksa matemaatik Ernst Schröder. 2.4.2 Frege Saksa matemaatiku Gottlob Frege (1848-1925) 1879. aastal avaldatud lühikest teost Kontseptuaalne notatsioon ("Begriffsschrift") võib julgelt nimetada 19. sajandi olulisemaks loogikaraamatuks. Selles raamatus esitab Frege kogu kaasaja loogika fundamentaalseima süsteemi, nn. esimest järku predikaatarvutuse. Predikaatarvutus baseerub lausearvutusel, predikaatidel ja kvantoritel ``iga x jaoks kehtib ...'' ning ``on olemas selline x, et ...'', võimaldades kirjeldada asjade omadusi ja omavahelisi suhteid. Teatud mõttes on võimalik öelda - Wittgensteini parafraseerides -, et kõike, mida saab rangelt kirjeldada, saab kirjeldada predikaatarvutuse keeles. Viimane väide ei tähenda seda, et predikaatarvutuse keel on alati kõige praktilisem, selgem või mugavam meetod ükskõik mille rangeks kirjeldamiseks,
neist koostatud laused on grammatiliselt korrektsed või mitte. 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
koostatud laused on grammatiliselt korrektsed või mitte. 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
annaabi.ee 
