Pythagorase teoreem). Märkide omavahelisi suhteid käsitleb süntaktika ning keelemärkide puhul on selleks grammatika. Keele süntaks on reeglite komplekt, mille alusel saab öelda, kas uuritav keeleline objekt vastab antud keele normidele või mitte, nt eesti keele süntaks määratleb, kas sõnad ja 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
Pythagorase teoreem). Märkide omavahelisi suhteid käsitleb süntaktika ning keelemärkide puhul on selleks grammatika. Keele süntaks on reeglite komplekt, mille alusel saab öelda, kas uuritav keeleline objekt vastab antud keele normidele või mitte, nt eesti keele süntaks määratleb, kas sõnad ja 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
annaabi.ee 
