6.1. АТОМАРНЫЕ ФОРМУЛЫ

Атомарными формулами (атомами) в языке являются следующие обозначения:

 атом =
    простой_атом |
    бинарное_отношение |
    объявление_функции

Ссылки: бинарное отношение 6.1.2, объявление функции 6.1.3, простой атом 6.1.1.


Следующий: 6.1.1. ПРОСТЫЕ АТОМЫ
Предыдущий: 6. ПРЕДЛОЖЕНИЯ КЛАССОВ


6. ПРЕДЛОЖЕНИЯ КЛАССОВ
6.1.1. ПРОСТЫЕ АТОМЫ
6.1.2. БИНАРНЫЕ ОТНОШЕНИЯ
6.1.3. ОБЪЯВЛЕНИЯ ФУНКЦИЙ
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)