Как используется отрицание в формальной логике?

В формальной логике отрицание (инверсия) используется для образования сложного высказывания из другого высказывания. 12 При этом утверждается отсутствие положения дел, описываемого в отрицаемом высказывании. 1

Некоторые особенности использования отрицания в формальной логике:

• Если исходное выражение истинно, то результат отрицания будет ложным, и наоборот, если исходное выражение ложно, то результат отрицания будет истинным. 5
• Отрицание может применяться не только к предложениям, но и к понятиям, значениям истинности или семантическим значениям в более общем плане. 3
• Для обозначений отрицания обычно используются символы «~», «–» или «¬». 1