« Logique (mathématiques)/Exercices/Méthode des tableaux » : différence entre les versions
Contenu supprimé Contenu ajouté
m Robot : Remplacement de texte automatisé (-\n(==={0,3})(?: *)([^\n=]+)(?: *)\1(?: *)\n +\n\1 \2 \1\n) |
m Bot: Mise à jour des codes texvc par des équivalentes LaTeX (documentation) |
||
Ligne 21 :
C : "Avoir des chaînes à neige"<br />
Grâce au texte, on obtient la conséquence suivante :
<math>\{(H \
<math>(H \
<math>H \
<math>\neg C</math> correspond à "Prouvez que Pierre n'a pas mis les chaînes à neige."
<br />
Ligne 32 :
=== Type 2 ===
Soit la conséquence suivante : <math>\{a,b \rightarrow \neg(a \
* Est-elle vraie ? Prouvez-le en utilisant la méthode des tableaux.
Si non, donnez un contre-modèle.
Ligne 38 :
{{Solution
| contenu =
Nous démontrons la conséquence sans oublier de nier <math>c \
[[Fichier:Exercice Logique Tableau.png|Solution Logique Résolution Tableau]]
<br />La conséquence est fausse car une branche n’est pas fermée et le contre-modèle est donc :<br />
|