« 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>
<br /><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
</math>
<br />Nous avons donc 5 clauses que l'on retrouve du point 1 à 5.<br /><br />
<math>
\begin{align}
Ligne 60 :
\end{align}
</math>
<br /><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 /><br />
<math>
\begin{align}