Почему в математике и логике используются разные виды стрелок?

Разные виды стрелок используются в математике и логике для обозначения различных понятий и операций. ru.wikipedia.org xn--h1ajim.xn--p1ai

Некоторые примеры и их значение:

• Стрелка вправо →. ru.wikipedia.org xn--h1ajim.xn--p1ai Импликация, функция из… в, предел, стрелочная нотация Конвея. ru.wikipedia.org xn--h1ajim.xn--p1ai
• Стрелка влево ←. ru.wikipedia.org xn--h1ajim.xn--p1ai Обратная импликация. ru.wikipedia.org xn--h1ajim.xn--p1ai
• Стрелка вправо-влево ↔. ru.wikipedia.org xn--h1ajim.xn--p1ai Эквивалентно, отношение. ru.wikipedia.org xn--h1ajim.xn--p1ai
• Перечёркнутая стрелка вправо ↛. ru.wikipedia.org xn--h1ajim.xn--p1ai Отрицание импликации. ru.wikipedia.org xn--h1ajim.xn--p1ai
• Двойная стрелка вправо ⇒. ru.wikipedia.org xn--h1ajim.xn--p1ai Умозаключение, импликация. ru.wikipedia.org xn--h1ajim.xn--p1ai
• Двойная стрелка влево ⇐. ru.wikipedia.org xn--h1ajim.xn--p1ai Обратное умозаключение, обратная импликация. ru.wikipedia.org xn--h1ajim.xn--p1ai
• Стрелка вверх ↑. ru.wikipedia.org xn--h1ajim.xn--p1ai Стрелочная нотация Кнута для возведения в степень, штрих Шеффера. ru.wikipedia.org xn--h1ajim.xn--p1ai
• Стрелка вниз ↓. ru.wikipedia.org xn--h1ajim.xn--p1ai Стрелка Пирса (не A и не B). ru.wikipedia.org

Также в математике стрелки могут использоваться для упрощения теоретических записей, например, для указания составных частей изучаемого объекта. ankolpakov.ru А логические стрелки заменяют слова «следовательно», «тогда», «поэтому» в схематическом оформлении любых логических переходов, например в доказательствах теорем. ankolpakov.ru