A logical formula consisting of a major and a minor assumption and an inconsequent. (See LOGIC.)
—Ambrose Bierce, The Devil's Dictionary