Отрицание – (логическая операция) – умственное действие, состоящее в добавлении к исходному суждению отрицающей частицы "не" и результатом которого является обратное суждение, исключающее исходное и без утверждения какого-либо альтернативного варианта (напр., было "А", стало "не А"). Частица "не" (отрицание) обозначается знаком¬ (напр., ¬А) или чертой (напр., Ā), или штрихом (напр., А').
Отрицание– (отношение между мыслями) – исключение одной мыслью другой мысли на основании их противоположности (напр., "утверждалось что оно чёрное, а оказалось белое") или противоречия (напр., "утверждалось, что оно чёрное, но оказалось, что не чёрное"). Отрицание через утверждениепротивоположного варианта предполагает возможность наличия третьего варианта (напр., цвет объекта может быть не белый, не чёрный, а зелёный). Прямое отрицание (через "не") исключает возможность наличия третьего варианта (напр., цвет объекта может быть белый или не белый, третьего не дано).