---

Этот знак называется **импликация**.
В математической логике он обозначает логическое следствие.
 * **Как читается в формулах:** «Если ..., то ...», «Из А следует В» или «А влечет В».
 * **Как обозначается:** В печатном тексте чаще всего используют стрелку → (этот вариант называется символом Гильберта). В твоих рукописных лекциях этот же знак был написан в виде «подковы» ⊃ (символ Пеано-Рассела).
Оба этих знака означают абсолютно одно и то же логическое действие.