ГОСТ Р 59791—2021
6.1.1.2
Текст — это текстовая конструкция, ограничение предметной области или импорт.
6.1.1.3
Текстовая конструкция содержит набор, список или комплект высказываний, утверждений
и (или) текстов. Текст CL может иметь вид последовательности, набора или комплекта высказываний,
утверждений и (или) текстов; диалекты могут указывать на подразумеваемые понятия или оставлять их
без определения. Переупорядочивание и повторение аргументов текстовой конструкции не имеют зна
чения с точки зрения семантики. Тем не менее приложения, которые передают или повторно публикуют
текст CL, должны сохранять структуру текстовых конструкций, поскольку другие приложения могут ис
пользовать такую структуру в определенных целях, например для индексации. Если диалект налагает
условия для текстовых конструкций, совместимые приложения должны сохранить эти условия. Тексто
вая конструкция может быть пустой.
6.1.1.4 Ограничение предметной области состоит из термина и текста, который называется ос
новным текстом. Этот термин указывает на «локальную» вселенную дискурса, в рамках которой по
нимается текст.
6.1.1.5 Импорт содержит заголовок. Предполагается, что заголовок содержит идентификатор
внешнего текста CL, а импорт повторно утверждает этот внешний текст в импортируемом тексте.
6.1.1.6
Аксиома — это утверждение, высказывание или текст.
6.1.1.7
Утверждение — это дискурсивное утверждение либо заголовок.
6.1.1.8 Дискурсивное утверждение — это утверждение вне дискурса либо утверждение в дис
курсе.
6.1.1.9 Утверждение вне дискурса содержит последовательность терминов.
6.1.1.10 Утверждение в дискурсе также содержит последовательность терминов.
6.1.1.11 Заголовок содержит имя и текст. В ходе озаглавливания тексту присваивают заголовок.
Заголовки часто имеют форму IRI, которые идентифицируют текст как ресурс.
6.1.1.12 Высказывание может быть количественным, логическим или простым.
6.1.1.13 Количественное высказывание имеет (i) тип, называемый квантором, (ii) конечную не
повторяющуюся последовательность интерпретируемых имен, называемую связывающей последова
тельностью, каждый элемент которой называется обязательным условием количественного высказыва
ния, и (iii) высказывание, называемое основной частью количественного высказывания. В абстрактном
синтаксисе для количественного высказывания различают универсальный тип и тип существования.
Имя, встречаемое в связывающей последовательности, называют связанным с основной частью вы
сказывания. Все имена и маркеры последовательности, которые не связаны с основной частью выска
зывания, считают свободными.
6.1.1.14 Логическое высказывание имеет тип, называемый соединительным элементом, и коли
чество высказываний, называемых компонентами логического высказывания. Количество зависит от
конкретного типа. В абстрактном синтаксисе различают пять типов логических высказываний: конъ
юнкции и дизъюнкции, которые могут иметь любое количество компонентов, импликации и двойные
импликации, которые имеют ровно два компонента, а также отрицания, которые имеют ровно один
компонент. Два компонента импликации выполняют разные роли; один является антецедентом, а дру гой
— консеквентом.
6.1.1.15 Простое высказывание — это уравнение, содержащее два аргумента, которые являются
терминами, или атомарное высказывание, состоящее из термина, называемого предикатом, и после
довательности терминов, называемой последовательностью аргументов, элементы которой называют
аргументами атомарного высказывания.
6.1.1.16 Термин — это имя или функциональный термин. К термину может быть прикреплен ком
ментарий. При этом каждое имя — это термин.
6.1.1.17 Функциональный термин состоит из термина, называемого оператором, и последова
тельности терминов, называемой последовательностью аргументов, элементы которой называют аргу
ментами функционального термина.
6.1.1.18 Последовательность терминов — это конечная последовательность терминов и (или)
маркеров последовательности. Последовательности терминов могут быть пустыми, но функциональ
ный термин с пустой последовательностью аргументов не допускается отождествлять со своим опера
тором, а атомарное высказывание с пустой последовательностью аргументов нельзя отождествлять со
своим предикатом.
6.1.1.19 Лексикон — это набор имен (т. е. словарь лексикона), набор маркеров последователь
ности и набор заголовков.
6