Question:
Førsteordens språk
Author: Renate KallandAnswer:
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.
0 / 5 (0 ratings)
1 answer(s) in total