« Logique (mathématiques)/Exercices/Méthode de Quine » : différence entre les versions

Contenu supprimé Contenu ajouté
Antimuonium (discussion | contributions)
m WPCleaner v1.38b - Corrigé avec P:CS (Item de liste terminé par un saut de ligne)
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ù l'onl’on obtient "1" :
<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ù l'onl’on obtient "0", ici, il n'y en a qu'un :
<math>
\begin{align}