« 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 35 :
</math>
<br />La forme normale conjonctive est donc :
<math>FNC \equiv (\neg A) \
}}
|