ГОСТ Р 59791—2021
cIText
## Последовательности cISentence |=
Atom cISentence |= Equal
cISentence |= And
cISentence |= Or
cISentence |= Not
cISentence |= Implies
cISentence |= Biconditional
cISentence |= Forall
cISentence |= Exists
## -Атомарные формулы
## Элемент cl: Atom представляет собой атомарное
## высказывание (Atomic) абстрактного синтаксиса.
Atom = element Atom {Atom.type }
Atom, type =
cICommentable,
## оператор
cITerm,
## последовательность аргументов
cITermSequence
## -Равенства
## Элемент cl: Equal представляет собой
## высказывание уравнения (Id) абстрактного синтаксиса.
Equal = element Equal { Equal.type }
Equal.type =
cICommentable,
## аргументы
cITerm,
cITerm
## -Конъюкции
## Элемент cl: And представляет собой
## конъюкцию (Conj) абстрактного синтаксиса.
And = element And { AndOr.type }
## Элемент cl:Or представляет собой
## дизъюнкцию (Disj) абстрактного синтаксиса.
Or = element Or { AndOr.type }
AndOr.type =
cICommentable,
## высказывания с компонентом
cISentence*
## Элемент cl: Not представляет собой
## отрицание (Neg) абстрактного синтаксиса.
Not = element Not { Not.type }
Not. type =
52