— технический термин формальной логики; см. Силлогизм.