представляет собой преобразования простых суждений (обращение, превращение и противопоставление предикату) и выводы по логическому квадрату. В нём вывод делается из одной посылки.