28 juin 2015

9 messages - Retourner à l'article

Voir tous les messages - Retourner à l'article

  • Graphes 2

    le 28 juin 2015 à 16:04, par Idéophage

    Ah, d’accord. Donc vous avez raison, ce que vous avez donné est une propriété nécessaire et suffisante si on veut pouvoir supprimer tout aéroport.

    Concernant l’ambiguïté du langage, c’est vrai que ce n’est pas forcément clairement défini, mais je n’ai pas souvenir d’avoir été gêné par une telle ambiguïté un jour… Peut-être que l’on peut préciser la chose en disant que, par défaut, « un » donne ∀, mais que si on est dans une possibilité (« on peut »), alors c’est plutôt ∃. Dans le cas général, on dit « pour toute possibilité d’instanciation des variables », mais si on est dans une possibilité, c’est « il existe une instanciation des variables ».

    À cela se rajoute peut-être le fait qu’il est aussi naturel de dire « pouvoir fermer tel aéroport (précis) sans perdre la connexité »… Bref.

    Répondre à ce message
Pour participer à la discussion merci de vous identifier : Si vous n'avez pas d'identifiant, vous pouvez vous inscrire.