Логическая связка НЕ

Утверждение "не А" (отрицание) символически записывается ¬ А или Ā.

Эта же связка применяется при переводе выражений:

• А неверно
• неверно, что А
• A ложно
• A не может быть и т.п.