ипользование квадратной скобки в значении ''или"

[don Bass]

С детства в школе использовали квадратные и фигурные скобки в случаях когда хотя бы одно из или все условия выполнены. Например, $(x,y)$ такие что

$$ \left[ \begin{matrix} x\geq y;\\ x< y, \end{matrix} \right. $$

это вся плоскость, а $(x,y)$ такие что

$$ \left\{ \begin{matrix} x\geq y;\\ x< y, \end{matrix} \right. $$

это пустое множество.

Используются ли эти обозначения сейчас в статьях?
Попытался найти "[" и не нашел ни одной статьи, хотя по-моему "[" очень удобная.

[arseniiv]

Может быть, такие системы и совокупности (у нас систему уравнений/неравенств в квадратной скобке называли «совокупность») редко встречаются или обычно не слишком большие? Когда в них мало формул, их проще записать в строку: $x \leqslant y \vee x > y$.

[Munin]

Я думаю, если это кому-то надо, он может оговорить эти обозначения в начале статьи, и свободно использовать. Читатели вряд ли пожалуются на неудобства.

Вообще, похоже, мало кто любит формулировать совокупности условий, а не системы.

Кроме того, в одном-двух случаях принято писать фигурную скобку, хотя подразумевается совокупность:

$$y(x)=\left\{\begin{array}{ll}\sin x,&\quad x\geqslant 0\\0,&\quad x<0,\end{array}\right.$$

что по сути означает

$$\left[\begin{array}{ll}y(x)=\sin x&\quad\wedge\quad x\geqslant 0\\y(x)=0&\quad\wedge\quad x<0.\end{array}\right.$$

[don Bass]

последняя формула $=$ xor
"{" $=$ and
"[" $=$ or

В некоторых случаях удобно использовать "[", но я ни разу не встречал.

[ewert]

Квадратные/фигурные скобке в школе используются для дрессировки логического мышления -- они делают логику графически наглядной. Потом, надрессировавшись, эти обозначения уже никто не использует, т.к. они слишком уж громоздки.

[g______d]

Фигурные все-таки используются в системах уравнений. Ну или, например, когда есть уравнение и начальные/краевые условия.

[arseniiv]

don Bass в сообщении #635882 писал(а):

последняя формула $=$ xor

Ну, это уж не так важно, в данном случае, что or, что xor — одно и то же, т. к. либо $x<0$, либо $x\geqslant0$.

[bot]

don Bass в сообщении #635577 писал(а):

Используются ли эти обозначения сейчас в статьях?

Статьи пишут не роботы, а человеки - формализация логических связок им не нужна, она не сулит ничего, кроме нагромождения этих скобок.

-- Сб окт 27, 2012 13:51:31 --

Эта формализация и в школе ни к чему хорошему не привела.

[ewert]

bot в сообщении #636340 писал(а):

Эта формализация и в школе ни к чему хорошему не привела.

Ну нет, в школе это сильно дисциплинирует мышление. Вот после школы -- эти костыли действительно уже никому не нужны.