Отрицание суждения – это логическая операция, которая представляет собой такое изменение логического содержания суждения, что его истинностное значение меняется на противоположное, то есть истинное суждение становится ложным, а ложнoe - истинным.
При отрицании атрибутивного суждения одновременно меняются как его качество, так и количество:
· при отрицании общего суждения получается частное, и, наоборот;
· при отрицании частного сужденияполучается общее;
· при отрицании утвердительного суждения получается отрицательное, и наоборот;
· при отрицании отрицательного суждения получается утвердительное.
Таким образом, результатом отрицания
· общеутвердительного суждения является частноотрицательное;
· общеотрицательного суждения является частноутвердительное;
· частноутвердительного суждения является общеотрицательное;
· частноотрицательного суждения является общеутвердительное.
В результате отрицания суждений об отношениях их качество и количество также меняются на противоположные: утвердительное на отрицательное, общее на частное и т.д.
При отрицании сложных суждений имеются свои правила.