Про попугая Кешу

Понятие, суждение, умозаключение
Отрицается суждение по средством отрицания квантора, субъекта, предиката или нескольких элементов сразу. Например, отрицая суждение «Кеша –(есть) мой любимый волнистый попугай», получаем следующие суждения «Кеша не есть мой любимый волнистый попугай», «Не Кеша есть мой любимый волнистый попугай», «Кеша есть не мой любимый волнистый попугай», «Не Кеша не есть мой любимый волнистый попугай» и т.д. В процессе отрицания суждений возникает ряд сложностей. Так суждение «Не все студенты – спортсмены» («Не все S есть Р») тождественно частноутвердительному «Некоторые студенты спортсмены» (Некоторые S есть Р). Значит, подчиненное суждение иногда может выступать отрицанием общего. Например, суждение «Все студенты – спортсмены» можно отрицать суждением «Только некоторые студенты – спортсмены» или «Неверно, что все студенты – спортсмены». Более понятной в логике является операция отрицания суждения – превращение. Она представляет собой действие, связанное с изменением качества исходного суждения – связки. При этом предикат полученного суждения должен противоречить исходному. Таким образом, утвердительное суждение превращается в отрицательное и наоборот.