Действующий

ГОСТ Р 54521-2011 Статистические методы. Математические символы и знаки для применения в стандартах (Переиздание)

     4 Математическая логика


Знаки, символы, выражения, используемые в математической логике, приведены в таблице 4.1.


Таблица 4.1 - Знаки, символы, выражения, используемые в математической логике

Номер знака, символа, выражения

Знак, символ, выражение

Значение и устный эквивалент

Примечания, примеры

4.1

Конъюнкция и , и

-

4.2

Дизъюнкция и , или

Выражение является истинным, если истинно или , или оба

4.3

Отрицание , не

В качестве эквивалентного может быть использовано обозначение . В математике аналогичное обозначение используют также для обозначения выборочного среднего (см. 9.12) и комплексно сопряженного числа (см. 14.6)

4.4

включает , если , то

имеет то же значение, что и .

символ включения

4.5

эквивалентно

имеет то же значение, что и .

символ эквивалентности

4.6

Для каждого , принадлежащего множеству , высказывание истинно

Если из контекста ясно, что представляет собой множество , выражение может быть использовано.

- квантор общности.

Для см. 5.1

4.7

Существует , принадлежащий множеству , для которого истинно

Может быть использовано выражение , если из контекста ясно, что представляет собой множество .

- квантор существования.

Для , см. 5.1.

Выражение означает, что существует только один элемент, для которого истинно.

Выражение используют как эквивалент