implicative syllogism

Мат. импликативный силлогизм