СОРИТ

сокращенный полисиллогизм или сложносокращенный силлогизм, в котором пропущена одна из посылок последующего силлогизма, представляющая собой вывод предыдущего.