En calcul des propositions, l'élimination de la conjonction (aussi appelé élimination du et, élimination du ∧ Sect.3.1.2.1, p.46, ou simplification)Copi and CohenMoore and ParkerHurley est une valide, La règle permet de raccourcir les démonstrations en dérivant l'un des d'une conjonction par lui-même.
La règle est composée de deux distinctes, qui peuvent être exprimées en :
et
Les deux sous-règles signifient en même temps que, chaque fois qu'une instance "" apparaît sur une d'une démonstration, soit "", soit "" peut être placé sur une ligne par .
Les de l'élimination de la conjonction peuvent être écrites en notation :
et
où est un qui signifie que est une déduction logique de et est également une conséquence de
et exprimée en ou en théorèmes de la logique propositionnelle:
et
où et sont des propositions exprimées dans un .
Références
Catégorie:Théorème de logique mathématique