Все аллигаторы хищники. Некоторые аллигаторы не являются хищниками

Данная пара суждений имеет одинаковые субъекты («аллигаторы») и предикаты («хищники»), следовательно, суждения сравнимые.
Все аллигаторы хищники. По объединенной классификации данное суждение относится к типу А (общеутвердительное) . Некоторые аллигаторы не являются хищниками. Данное суждение относится к типу О (частноотрицательное).
По логическому квадрату суждения типов А и О противоречащие (контрадикторные)