Высказывание … истинно, когда А ложно, и ложно, когда А истинно

Логическая связка "НЕ", называется отрицанием и обозначается чертой над высказыванием.

Высказывание истинно, когда А ложно, и ложно, когда А истинно.

Например: "Яблоко - фрукт" (А), "Яблоко - не фрукт" ( )