Разновидность условно-категорического силлогизма, в котором рассуждение направлено от утверждения основания к утверждению следствия, называется