« Approfondissements de lycée/Logique » : différence entre les versions

Contenu supprimé Contenu ajouté
Ligne 919 :
</math>
 
C'est un peu plus difficile d'aller plus avantloin, mais nous le pouvons. Nous utilisons l'identité :
:x + yz = (x + y)(x + z)
 
Ligne 933 :
</math>
 
Et ceci est le plus loin que nous pouvons aller en utilisant l'approche algébrique (ou par tout autre approche). L'approche algébrique pour la simplication est liée au principe d'élimination. Considéront en algebrealgèbre ordinaire :
:x + y - x
Nous simplifions par le réarrangement de l'expression comme suit