категоричный силлогизм

Мат. categorical syllogism