Raisonnement logique à deux propositions (également appelées prémisses) conduisant à une conclusion qu'Aristote a été le premier à formaliser ; les deux prémisses (dites « majeure» et « mineure ») sont des propositions données et supposées vraies permettant de vérifier la véracité formelle de la conclusion.
Le pardon est Divin.
Le Galgo pardonne tout.
Le Galgo est Divin.