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

В логике используются стрелочные символы, а не прямые, для обозначения определённых логических операций и связей. otvet.mail.ru math.stackexchange.com

Смысл стрелочных символов зависит от контекста. otvet.mail.ru Например, в математической и пропозиционной логике стрелка чаще всего обозначает материальную импликацию («если A, то B»). otvet.mail.ru

Также стрелки могут использоваться для представления формул в виде ориентированных ациклических графов. www.hse.ru В таком случае стрелки соединяют каждые две подформулы, одна из которых является максимальной собственной подформулой другой. www.hse.ru