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

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

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

• Если исходное выражение истинно, то результат отрицания будет ложным, и наоборот, если исходное выражение ложно, то результат отрицания будет истинным. ifn.kemsu.ru
• Отрицание может применяться не только к предложениям, но и к понятиям, значениям истинности или семантическим значениям в более общем плане. en.wikipedia.org
• Для обозначений отрицания обычно используются символы «~», «–» или «¬». gtmarket.ru