Отрицание (Кузнецов, 2007)
ОТРИЦАНИЕ — 1) в естественном языке—в зависимости от местоположения различают внешнее и внутреннее О. Внешнее О. (пропозициональное) служит для образования сложного высказывания из другого (не обязательно простого) высказывания. В нем утверждается отсутствие положения дел, описываемого в отрицаемом высказывании. На основании классического понимания истинности как соответствия действительности это означает, что в случае истинности отрицаемого высказывания отрицающее его высказывание будет ложным, и наоборот. В русском языке пропозициональное О. обычно выражается посредством оборота «неверно, что», за которым следует отрицаемое высказывание...