Wg Małej Encyklopedii Logiki (1970): "(1) Wnioskowanie o dwu przesłankach, w których zarówno przesłanki, jak i wniosek są klasycznymi zdaniami kategorycznymi (tzn. typu: SaP, SeP, SiP, SoP), przy czym przesłanki mają jeden i tylko jeden termin wspólny, każdy zaś termin wniosku występuje nadto w jednej i tylko jednej przesłance.Przykład: Każdy metal jest pierwiastkiem. Każdy sód jest metalem. Zatem: każdy sód jest pierwiastkiem (...)"