В современной формальной логике символ «~» имеет название:

№ Различают описательные выражения и три категории логических знаков. Языковое выражение "Смертен" относится к: № «Трезвость» является понятием № Несобирательные понятия — это понятия, которые ... № Рассуждение: «Если, и только если, суд признал, что N совершил преступление, то N — преступник N — преступник. Значит, суд признал, что… № Многозначность какого-либо слова — это: № Определите какая ошибка заключена в следующем доказательстве: Все, что говорила гражданка Н. не заслуживает доверия, так как она является человеком глупым, болтливым…