Словарь по логике
Подкова
Неофициальное логическое жаргонное название значка
, используемого для обозначения операции материальной импликации (см.).
© Автор статьи.