Pierre-Marie Baty Pierre-Marie Baty 9 août 12:49

@JPCiron
Si vous raisonnez avec l’indéterminisme, vous êtes déjà sorti de la logique bivalente, vous êtes en logique trivalente.

Mais cette logique est insuffisante : elle ne décrit pas tous les cas de figure. Il y a des cas où « indéterminé » veut dire « pas encore déductible », des cas où « indéterminé » veut dire « réductible aux deux valeurs de vérité à la fois » et des cas où « indéterminé » veut dire « réductible à aucune valeur, c’est-à-dire indéterminable ».

À votre santé !


Ajouter une réaction

Pour réagir, identifiez-vous avec votre login / mot de passe