7945641957

Składnia (syntaksa)

Symbole stałe, np.: A, B, Jan - nazywają dokładnie jeden obiekt.

Symbole predykatów, np.: okrągły, brat- szczególna relacja w modelu, brat może reprezentować relację „jest bratem”, brat jest symbolem predykatu binarnego, który zachowuje relację (lub nie) pomiędzy dwoma obiektami, symbole funkcji, np.: cosinus, ojciec - relacja funkcyjna jest zachowana dla dokładnie jednego obiektu w relacji. (Każdy ma jednego ojca, a każda wartość kąta ma dokładnie jedną wartość cosinusa). Wybór symboli zależy tylko od użytkownika!