Règle de Résolution

discipline

règle d'inférence logique

Propriétés