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

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