силлогизм: дедуктивное умозаключение, состоящее из большей посылки, меньшей посылки и вывода, как это выражено в строках: