syllogism

n. A logical formula consisting of a major and a minor assumption, and an inconsequent.

||||