ГОСТ Р 59791—2021
Окончание таблицы 1
Е = EQuant(N,S)
ArgC(E) =ArgC(S)
U
N
.
Е = outDiscourse(T1
...
Тп)
ArgC(E) = UyArgC(T,)
Е = inDiscourse(T1,...,Tn)
ArgC(E) = U/ArgC(T/)
.
E = txt(E1
...
En)
ArgC(E) =ArgC(Ej)
Е = domain(T,G)
ArgC(E) =ArgC(G)
U
ArgC(T)
Е = title(E1,G)
ArgC(E) = ArgC(G)
E = imports(E1)
ArgC(E) = 0
П р и м е ч а н и е — В этой таблице указан набор констант аргументов ArgC (Е) для Е во всех правильно по
строенных выражениях Е.
Значение любого выражения Е в интерпретации / задают в соответствии с правилами, приведен
ными в таблице 2.
Т аб ли ц а 2 — Интерпретации выражений CL
E1Имя N
1(E) = Щ И )
E2Маркер последовательности S
1(E) = seq, (S)
E3Заголовок N
/(E) = «/,(N)
E4 Последовательность терминов Т1 ... Тп с Т1 в ка
честве терма
/(Е) =
<j
(т
1
)>; /
(<т2 тп
>)
E5 Последовательность терминов Т1...
Тп
с Т1в каче
стве маркера последовательности
7(E) = / (Т1);/ (<Т2 ... Тп>)
E6Терм с оператором О и последовательностью ар
гументов S
/(Е) =ftvn7(7(0))(
j
(S))
E7 Простое высказывание, которое представляет со
бой уравнение с терминами T1f Т2
/(Е) = true, если /(Т.,) = /(Т2); в противном случае
1(E) =
false
E8 Атомарное высказывание с предикатом Р и после
довательностью аргументов S
1(E)
= true, если /(S) находится в
ге!}(1(
Р)); в про
тивном случае
1(E)
= false
E9Логическое высказывание типа «отрицание» с
компонентом С
1(E)
= true, если
1(C)
= false; в противном случае
7(E) = false
«конъюнкция» с
ЕЮЛогическое высказывание типа
компонентами С1... Сп
1(E) =
true, если /(С.,) = ... =
I(Cn) =
true; в против
ном случае
1(E) =
false
«дизъюнкция» с
EllЛогическое высказывание типа
компонентами С1... Сп
1(E)
= false, если /(С.,) = ... = /(
Сп)
= false; в против
ном случае
1(E)
= true
«импликация» с
E12Логическое высказывание типа
компонентами С.,, С2
1(E)
= false, если
I(C:)
= true и /(С2) = false; в про
тивном случае 7(E) = true
E13Логическое высказывание типа «двойная импли
кация» с компонентами С.,, С2
1(E)
= true, если /(С.,) = /(С2); в противном случае
/(Е) = false
E14 Количественное высказывание типа «вселенная» с
обязательными условиями N и основным тек
стом В
1(E)
= true, если для каждой N-версии
J
в /,
J(
В) яв
ляется истинным; в противном случае 7(E) = false
E15 Количественное высказывание типа «существова
ние» с обязательными условиями N и основным
текстом В
7(E) = true, если для части N-версий
J
в 7,
J(
В) яв
ляется истинным; в противном случае 7(E) = false
17