2 éléments à classer, 2 runs for 1 chemins
(classement du plus précis au plus général)

raisonnement par logique de Kripke → raisonnement par logique → raisonnement

RULES
raisonnement par logique;6;raisonnement;6