Эта формула, естественно, тоже имеет два истолкования: 1) если всякое a есть b и всякое b есть c, то всякое a есть c – принцип категорического силлогизма и 2) если из a следует b, и из b следует c, то из a следует c – принцип условного силлогизма (Кутюра).
Введение в логику
·
Сергей Поварнин
