carbure33 > Pas plus que tout ce qui est mathématique et même tout ce qui appartient au raisonnement humain et à l'univers ...
Personne ne comprend vraiment que je ne faisais que remarquer qu'on était très loin d'un problème de logique "pure" ?
Pour s'exercer à la logique il faut étudier des propositions et des inférences avec les règles d'un contexte, là c'est bêtement calculatoire. M'enfin, si vous convient comme ça ...