Pour repréciser : pour une implication , la réciproque de cette implication est .
Si on a "toute pomme verte est une pomme", il n'y a pas de raison d'accepter ni de rejeter la réciproque.
A la rigueur tu l'interprètes peut-être. Si je remplace rouge par noir, est-ce que tu aurais autant envie de rejeter la réciproque directement ?
Tant qu'on a juste une implication, on ne peut en général rien dire sur sa réciproque.
Dans ton énoncé, on a l'implication "Si un chemin est correct, alors il contient 4d et 6b".
Et réciproquement, "si un chemin contient 4d et 6b, alors il est correct".
Et avec la même idée qu'avec les pommes, si on compte le nombre de chemins corrects et le nombre de chemins contenant 4d et 6b, on conclut qu'ils sont égaux.