« Logique (mathématiques)/Exercices/Méthode des tableaux » : différence entre les versions
Contenu supprimé Contenu ajouté
m Robot : Correction syntaxique de type Syntaxe Wiki |
maintenance |
||
Ligne 1 :
{{Exercice
| idfaculté = mathématiques
| leçon = [[
| numéro = 5
| niveau = 15▼
| précédent = [[../Cohérence et formes clausales/]]
▲|niveau=15
| suivant = [[../Calcul naturel/]]
}}
Ligne 42 :
<br />La conséquence est fausse car une branche n'est pas fermée et le contre-modèle est donc :<br />
<math>a = 1, b = 0, c = 0</math>
}}
{{Bas de page
| idfaculté = mathématiques
| leçon = [[../../|Logique]]
| précédent = [[../Cohérence et formes clausales/]]
| suivant = [[../Calcul naturel/]]
}}
| |||