« Logique (mathématiques)/Exercices/Méthode des tableaux » : différence entre les versions
Contenu supprimé Contenu ajouté
m Robot : Remplacement de texte automatisé (-(<br\s*/>)+ +<br />) |
|||
Ligne 26 :
<math>\neg C</math> correspond à "Prouvez que Pierre n'a pas mis les chaînes à neige."
<br />
* Nous pouvons démontrer la conséquence sans oublier de nier <math>\neg C</math>.
[[Fichier:Exercice Logique Résolution.png|Solution Logique Résolution Tableau]]
<br />La conséquence est vraie.
| |||