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

Logique (mathématiques)/Exercices/Méthode des tableaux (modifier)

6 octets supprimés , il y a 6 ans

m

WPCleaner v1.38b - Corrigé avec P:CS (Item de liste terminé par un saut de ligne)

234

modifications

Version du 25 avril 2014 à 18:12 (modifier) Crochet.david.bot (discussion \| contributions) m (Robot : Remplacement de texte automatisé (-(<br\s*/>)+ +<br />)) ← Modification précédente		Version du 24 mars 2016 à 17:48 (modifier) (annuler) Antimuonium (discussion \| contributions) m (WPCleaner v1.38b - Corrigé avec P:CS (Item de liste terminé par un saut de ligne)) Modification suivante →
<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.