This is a categorical syllogism, an argument having three propositions—two premises and a conclusion.

Ruggero J. Aldisert, Agatha D. Aldisert, Logic for Lawyers- A Guide …, loc. 319