Sanaluokka
Adjektiiveja voi taivuttaa sijanmuotojen lisäksi myös vertailumuodoissa. Adjektiivi sellaisenaan on positiivi eli perusaste. Suurempaa astetta ilmaisevat komparatiivi ja superlatiivi. Komparatiivin tunnuksen edellä "e" ("paha, pahempi)", mutta kaikissa sanoissa ei ole niin, kuten adjektiivissa "mahtava". Joissain adjektiiveissa sana muuttuu kuten adjektiivissa "hyvä". 
Pronominit yhdistävät sanoja lauseiksi. Tiettyihin pronomiheihin tarvitaan korreliaatti eli se sana tai asia, mihin prononimi viittaa. "Joka"- ja "mikä"-pronominien kanssa täytyy olla huolellinen. "Joka" viittaa edelliseen sanaan, "mikä" taas koko edeltävään lauseeseen.
Symbolinen logiikka
Propositiologiikka tutkii lauseiden ominaisuuksia niiden sisältämien vakioiden ja muuttujaviittausten, kuten A, B, C, ... sekä viiden operaattorin, "ja" (AND), "tai" (OR), "jos...niin" [IMPLIES), "jos ja vain jos"' (EQUALS) sekä "ei" (NOT) perusteella. Vastaavat logiikan operaatiot ovat konjunktio, disjunktio, implikaatio, ekvivalenssi, sekä negaatio eli kielto. Näistä muut paitsi "ei" ovat binaarisia operaatioita. Operaatioiden merkitystä kuvataan totuusarvotaulukoilla.
Predikaattilogiikka on propositiologiikan laajennus, joka tuo mukaan muuttujat, lauseet eli predikaatit. Muuttujat esitetään yleensä pienellä alkukirjaimella "x", "y", "z" jne, kun taas predikaatit esitetään isolla alkukirjaimella, esimerkiksi P("x") or Q("y","z"). Sen lisäksi predikaattilogiikkaan liittyvät kvanttorit, jotka kuvaavat tapauksia "kaikki" (universaalikvanttori formula_1) ja "on olemassa" (eksistenssikvanttori formula_2).