« Logique (mathématiques)/Exercices/Méthode de Quine » : différence entre les versions
Contenu supprimé Contenu ajouté
m Robot : Remplacement de texte automatisé (- l'on + l’on ) |
|||
Ligne 17 :
[[Fichier:Exercice Quine.png|Solution Exercice Quine]]
<br />
* Les modèles sont les branches où
<math>
\begin{align}
Ligne 28 :
<math>FND \equiv (\neg A) \or (A \and \neg B \and C) \or (A \and B)</math>
<br />
* Les contre-modèles sont les branches où
<math>
\begin{align}
|