Discussion utilisateur:PIerre.Lescanne/Brouillon/Règle d'élimination (logique)

Pluriel

Le titre de l'article concernant les règles d'introduction est au singulier. Or celui est au pluriel, qu'en pensez-vous ? --Else If Then (discuter) 26 octobre 2016 à 17:49 (CEST)

Restons cohérent et mettons le au singulier. --Pierre de Lyon (discuter) 26 octobre 2016 à 21:24 (CEST)

--Else If Then (discuter) 27 octobre 2016 à 11:02 (CEST)

Forme tautologique

Je ne connais pas cette forme de présentation dite « forme tautologique ». Y a-t-il une présentation canonique avec une rôle spécifique de ∧ et de → ? Y a-t-il une référence reconnue ?--Pierre de Lyon (discuter) 26 octobre 2016 à 22:22 (CEST)

J'ai pris connaissance de ce genre de notation sur les pages anglaises de WP, mais je ne l'ai vu nul par ailleurs. On pourrait cependant appeler ce genre de formule une formule propositionnelle dont toutes les valeurs de vérité valent 1 ([1]). --Else If Then (discuter) 27 octobre 2016 à 09:29 (CEST)

Le WP anglais me parait très mal documenté. Je ne sais pas qui l'a écrit. Les règles d'élimination font partie de la théorie de la démonstration (proof theory). Les valeurs de vérité font partie de la théorie des modèles ou de la sémantique. Elles ne sont donc pas liées, en dehors du fait qu'elles appartiennent toutes les deux à la logique mathématique. Il faut donc éviter de parler des valeurs de vérité au risque de tout mélanger dans l'esprit du lecteur et au risque de faire passer l'auteur comme ne maîtrisant pas le sujet. --Pierre de Lyon (discuter) 27 octobre 2016 à 12:18 (CEST)

J'ai utilisé l'expression « est justifiée » pour ne pas supprimer la référence à la sémantique. Est-ce ça va? --Pierre de Lyon (discuter) 27 octobre 2016 à 14:05 (CEST)

Très bien, je ne savais pas comment le formuler! --Else If Then (discuter) 27 octobre 2016 à 16:57 (CEST)

Article détaillé

Je ne pense pas que les articles Élimination de la conjonction et Élimination de la disjonction détaillent l'article que nous sommes en train d'écrire. Ils emboruillent les choses. En particulier ils parlent de tautologie et utilisent une notation $\therefore$ qui n'est pas définie.

Dans ce cas, ces articles n'ont plus de valeurs. Ou alors il faudrait procéder à un recyclage complet. Sachant que cet article généralise les différentes éliminations, je trouve ça plus cohérent de les citer ici, et si nécessaire sous une autre forme. --Else If Then (discuter) 27 octobre 2016 à 16:57 (CEST)

Mon but est de faire de l'article Règle d'élimination (logique) l'article qui synthétise les deux articles Élimination de la conjonction et Élimination de la disjonction, en redirigeant ces deux articles vers celui-là. --Pierre de Lyon (discuter) 27 octobre 2016 à 18:17 (CEST)