Syllogism

Syllogism is a form of deductive reasoning consisting of a major premise, a minor premise, and a conclusion.

For example:

All oaks are trees.

All tree are plants.

Therefore, all oaks are plants.