Il n'est pas necessaire en algorithmique que la condition et le
conséquent aient un rapport entre eux. Je m'explique: Si la condition
est Vrai alors j'exécute tel conséquent et le programme continue.

Introduire un lien véritable entre la condition et le conséquent
conduit à une implication stricte en logique modale.