Например: «Ни один кит не является рыбой» → «Некоторые не рыбы являются китами».
Суждение О преобразуется в суждение I
Некоторые S не есть Р
Некоторые не-Р есть S
Например: «Некоторые европейские государства не являются республиками» →
«Некоторые не республики являются европейскими государствами
Умозаключение по логическому квадрату: выводы можно строить, учитывая свойства отношений между категорическими суждениями, которые иллюстрированы схемой логического квадрата.