noun
A logical formula consisting of a major and a minor assumption and an inconsequent. (See LOGIC.)