Robinson (règle de)
Définition
Règle d'unification utilisée en logique formelle pour calculer la valeur de vérité d'une proposition. Son application permet en effet des chaînes de résolution plus courtes que l'application de la logique conventionnelle (modus ponens, modus tollens, etc), tout étant équivalente.