Partage
  • Partager sur Facebook
  • Partager sur Twitter

[mathématiques]vacuous truth

nom équivalent en français

    29 novembre 2019 à 13:52:44

    Bonjour,

    en étudiant la fonction Array.every de JavaScript, je suis tombé sur Wikipédia qui parle de vacuous truth. Il n'y a pas la page en français, et n'étant pas un expert en mathématiques, je ne connais pas le terme en français ni je ne sais quoi chercher. Est-ce que quelqu'un saurait comment cela s'appelle en français ?

    Merci.

    • Partager sur Facebook
    • Partager sur Twitter
      3 décembre 2019 à 0:37:22

      C'est juste une propriété de l'ensemble vide. La proposition \(\forall x\in\emptyset, P(x)\) est toujours vraie, même \(\forall x\in\emptyset,x\notin\emptyset\).

      -
      Edité par BunshinKage 3 décembre 2019 à 0:38:33

      • Partager sur Facebook
      • Partager sur Twitter
        3 décembre 2019 à 21:14:35

        Mais comment ça s'appelle en français ?
        • Partager sur Facebook
        • Partager sur Twitter
          4 décembre 2019 à 2:15:19

          Je ne suis pas sûr qu'il y ait un nom bien défini en français pour ça (en tout cas j'en ai jamais entendu parler dans les quelques cours de logique que j'ai eu il me semble). Pourquoi avoir besoin du nom de cette propriété ?
          • Partager sur Facebook
          • Partager sur Twitter
            4 décembre 2019 à 14:22:30

            Simplement pour savoir comment ça s'appelle...
            • Partager sur Facebook
            • Partager sur Twitter
              5 décembre 2019 à 14:41:34

              J'ai un peu cherché sur Google, je n'ai pas trouvé de terme équivalent en français.

              Comme Bushin, j'ai l'impression qu'on n'a pas donné de nom particulier à cette propriété, mais je peux me tromper.

              • Partager sur Facebook
              • Partager sur Twitter

              [mathématiques]vacuous truth

              × Après avoir cliqué sur "Répondre" vous serez invité à vous connecter pour que votre message soit publié.
              • Editeur
              • Markdown