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

Штопор: Неофициальное логическое жаргонное название значка вида “|–”, используемого для обозначения отношения логической выводимости и предиката доказуемости.