« Logique (mathématiques)/Exercices/Méthode de Quine » : différence entre les versions
Contenu supprimé Contenu ajouté
m Robot : Changement de type cosmétique |
|||
Ligne 15 :
{{Solution
| contenu =
[[
<br />
* Les modèles sont les branches où l'on obtient "1" : <br />
|