« Logique (mathématiques)/Exercices/Cohérence et formes clausales » : différence entre les versions

Contenu supprimé Contenu ajouté
m Robot : Remplacement de texte automatisé (-(<br\s*/>)+ +<br />)
Antimuonium (discussion | contributions)
m WPCleaner v1.38b - Corrigé avec P:CS (Item de liste terminé par un saut de ligne)
Ligne 15 :
{{Solution
| contenu =
* Nous simplifions la conséquence en enlevant les implications :<br />
<math>
\begin{align}
Ligne 25 :
</math>
<br />
* Nous prenons la négation de la conséquence, on arrive donc à : <br />
<math>
\models (\neg p \or q \or \neg r \or s) \and p \and r \and \neg q \and \neg s
Ligne 52 :
{{Solution
| contenu =
* Nous simplifions la conséquence en enlevant les implications :<br />
<math>
\begin{align}
Ligne 61 :
</math>
<br />
* Nous montrons sa contradiction, donc nous n'avons pas besoin de la négation de la conséquence. <br />
On a donc 6 clauses que l'on retrouve du point 1 à 6.<br />
<math>