Выдержка из книги
Лукасевич Я.N.
Аристотелевская силлогистика с точки зрения современной формальной логики
Эти две формулы имеют более сильные антецеденты, чем формулы 18 и 19, и легко выводимы из них ( 21 - из 18, а 22 - из 19) посредством положения CQpqCpq и принципа гипотетического силлогизма.