« Logique (mathématiques)/Exercices/Méthode des tableaux » : différence entre les versions

m
WPCleaner v1.38b - Corrigé avec P:CS (Item de liste terminé par un saut de ligne)
m (Robot : Remplacement de texte automatisé (-(<br\s*/>)+ +<br />))
m (WPCleaner v1.38b - Corrigé avec P:CS (Item de liste terminé par un saut de ligne))
<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>.<br />
[[Fichier:Exercice Logique Résolution.png|Solution Logique Résolution Tableau]]
<br />La conséquence est vraie.
234

modifications