« Approfondissements de lycée/Logique » : différence entre les versions
Contenu supprimé Contenu ajouté
Ligne 1 327 :
Qui est qui ?
Nous pouvons probablement déduire qu' ''Alex'' est un valet, mais l'approche algébrique pour déterminer l'identité d' ''Alex'' est la suivante :
:Soit ''A'' VRAIE si Alex est un chevalier
:Soit ''B'' VRAIE si Barbara est un chevalier
Ligne 1 350 :
#Si C commande un martini, alors A le fait.
#<math>A \Rightarrow B</math> ou <math>AB + A'B' = 1\,</math>
#<math>B'C + BC' = 1\,</math>
#<math>A + C = 1\,</math>
#<math>C \Rightarrow A</math> ou <math>CA + C'A' = 1\,</math>
En mettant tout cela dans une formule et en simplifiant :
| |||