Операция отрицания, или отрицание высказывания

Для каждого высказывания А может быть сформировано новое высказывание (читается «не А», или «не верно, что А») – это отрицание высказывания А. Высказывание истинно, когда А – ложно, и ложно, когда А – истинно.

Таблица истинности для операции отрицания:

А

Операция отрицания – одноместная, или унарная, операция.

Последующие операции – двухместные, или бинарные.

Например, если - истинное высказывание, то

- ложное высказывание (отрицание А).

Отметим, что если {в комнате холодно}, то {в комнате не холодно}, но при этом высказывание {в комнате жарко} отрицанием В не является.