« Logique (mathématiques)/Exercices/Cohérence et formes clausales » : différence entre les versions
Contenu supprimé Contenu ajouté
maintenance |
m Robot : Remplacement de texte automatisé (-(<br\s*/>)+ +<br />) |
||
Ligne 24 :
\end{align}
</math>
* 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
</math>
<br />Nous avons donc 5 clauses que l'on retrouve du point 1 à 5.
<math>
\begin{align}
Ligne 60 :
\end{align}
</math>
* 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.
<math>
\begin{align}
|