Отрицание: различия между версиями

'''Отрица́ние''' в [[логика|логике]] или<strong> инверсия</strong> — это сложное логическое выражение, если исходное логическое выражение истинно, то результат отрицания будет ложным, и наоборот, если исходное логическое выражение ложно, то результат отрицания будет истинным. Другими простыми слова, данная операция означает, что к исходному логическому выражению добавляется частица ''не'' или слова ''неверно, что''; [[унарная операция]] над [[суждение|суждениями]], результатом которой является суждение (в известном смысле) «противоположное» исходному. Обозначается знаком '''¬''' перед или чертой '''--''' над суждением. Синоним: '''логическое "НЕ"'''.