Укажите какие формально-логические законы распространяются на следующие пары суждений

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