ГОСТ Р 59791—2021
cICommentable,
## высказывание с отрицанием
cISentence
## Элемент cl: Implies представляет собой
## импликацию (Cond) абстрактного синтаксиса.
Implies = element Implies { Implies.type }
Implies.type =
cICommentable,
## высказывание с условием (антецедентом)
cISentence,
## высказывание с выводом (консеквентом)
cISentence
## Элемент cl: Biconditional представляет собой
## двойную импликацию (Bicond) абстрактного синтаксиса.
Biconditional = element Biconditional { Biconditional.type }
Biconditional.type =
cICommentable,
## высказывания с двумя компонентами
cISentence,
cISentence
## -Количественные оценки
## Элемент cl: Forall представляет собой
## высказывание с квантором всеобщности (UQuant) абстрактного синтаксиса.
Forall = element Forall { Forall.type }
## Элемент cl: Forall представляет собой
## высказывание с квантором существования (EQuant) абстрактного синтаксиса.
Exists = element Exists { Exists.type }
Forall.type = Quantifier.type
Exists.type = Quantifier.type
Quantifier.type =
cICommentable,
## связывающее высказывание
(Name | Marker)+,
## количественное высказывание
cISentence
## Последовательность терминов
cITermSequence = (cITerm | Marker)*
## Термины
cITerm |= Apply
cITerm |= Name
## -Функциональные термины
## Элемент cl: Apply представляет собой функциональный термин
## абстрактного синтаксиса.
Apply = element Apply { Apply.type }
53