ГОСТ Р 54521—2011
2
Числа, представленные цифрами, всегда изображают прямым шрифтом (вертикально), например
351 204; 1,32; 7/8.
Аргумент функции указывают в круглых скобках после символа функции без пробела между сим-
волом функции и первой круглой скобкой, например f (x), cos(
w
t +
j
). Если символ функции состоит из
двух или большего количества букв, а аргумент не содержит символа операции (+, – ,
´
, или
/
), круглые
скобки вокруг аргумента могут быть опущены. В этих случаях должен быть небольшой пробел между
символом функции и аргументом, например, int 2,4; sin n
p
; arcosh 2A; Ei x.
Если существует возможность ошибки, необходимо использовать круглые скобки. Например,
cos x + y лучше записать в виде cos(x) + y , чтобы исключить ошибочное понимание этой формулы.
Запятая, точка с запятой или другой соответствующий символ могут быть использованы для раз-
деления чисел или выражений. Предпочтительно использование запятой, кроме тех случаев, когда ее
используют при записи десятичных дробей.
Если выражение или уравнение должно быть записано в две или более строк, следует применять
правила, установленные в ГОСТ 1.5.
По возможности, разрыв формулы не следует использовать внутри выражения в круглых скобках.
Общепринято использование различных букв (греческого, латинского или других алфавитов) для
различных объектов. Это делает формулы более удобными и помогает в восприятии соответствующего
текста. При использовании нескольких шрифтов необходимо приводить соответствующие пояснения
(при необходимости).
4 Математическая логика
Знаки, символы, выражения, используемые в математической логике, приведены в таблице 4.1.
Т а б л и ц а 4.1 — Знаки, символы, выражения, используемые в математической логике
Номер
знака,
символа,
выражения
Знак, символ,
выражение
Значение и устный эквивалент
Примечания, примеры
4.3
Ø
p
Отрицание p, не p
—
4.1
4.2
p
Ù
q
p
Ú
q
Конъюнкция p и q, p и q
Дизъюнкция p и q, p или q
Выражение p
Ú
q является истинным, если
истинно p или q, или оба
–
В качестве эквивалентного может быть ис-
пользовано обозначение p. В математике ана-
логичное обозначение используют также для
обозначения выборочного среднего (см. 9.12)
и комплексно сопряженного числа (см. 14.6)
4.4
p
Þ
q
p включает q, если p, то q
q
Ü
p имеет то же значение, что и p
Þ
q.
Û
символ включения
4.5
p
Û
q
p эквивалентно q
(p
Þ
q)
Ù
(q
Þ
p) имеет то же значение, что
и p
Û
q.
Û
символ эквивалентности
4.6
"
x
Î
Ap(x)
Для каждого x, принадлежащего
множеству A, высказывание p(x)
истинно
Если из контекста ясно, что представляет со-
бой множество A, выражение
"
x p(x) может
быть использовано.
"
— квантор общности.
Для x
Î
A см. 5.1
4.7
$
x
Î
A p(x)
Существует x, принадлежащий
множеству А, для которого p(x)
истинно
Может быть использовано выражение
$
x p(x),
если из контекста ясно, что представляет со-
бой множество A.
$
— квантор существования.
Для x
Î
A, см. 5.1.
Выражение
$
1
x p(x) означает, что существует
только один элемент, длякоторого p(x) истинно.
Выражение
$
! используют как эквивалент
$
1