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