Raisonnement qui a la forme d'une implication dont l'antécédent est la conjonction de deux propositions appelées prémisses, par exemple :« Si tout B est A et si tout C est B, alors tout C est A. »
Рассуждение, имеющее форму импликации, предшествующей которой является соединение двух суждений, называется предпосылками, например: «Если все В есть А и если все С есть В, то все С есть А».