« 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 />) |
|||
Ligne 15 :
{{Solution
| contenu =
* Nous simplifions la conséquence en enlevant les implications :
<math>
\begin{align}
Ligne 25 :
</math>
<br />
* Nous prenons la négation de la conséquence, on arrive donc à :
<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 :
<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.
On a donc 6 clauses que l'on retrouve du point 1 à 6.<br />
<math>
|