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