Syllogism

A form of deductive argument composed of two premises and a conclusion that relate three terms according to classical syllogistic patterns (typically categorical propositions such as 'All A are B; C is A; therefore C is B'); validity depends on the argument’s formal structure while soundness additionally requires true premises.