Førsteordens språk

Førsteordens språk kan representere mer nøyaktige utsagn/utsagn med mer detaljer enn utsagnslogikk Predikatlogikk(førsteordens logikk), utvidet med kvantorer: ∃, ∀ Ein bruker desse kvantorane til å representere kvantifiserte utsagn. Består av logiske, og ikke-logiske symboler. Random: - Mengdene av variabler, konstantsymboler, funksjonssymboler og relasjonssymboler må være disjunkte. - Relasjon-, og funksjonssymboler har en aritet, som betyr at de er assosiert med et naturlig tall.