Словарь по логике

 

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

© Автор статьи.