ОБЩЕЕ УТВЕРЖДЕНИЕ

Суждение категорического силлогизма, имеющее структуру «Все A есть В».