Logique (mathématiques)/Exercices/Méthode de Quine

Méthode de Quine
Image logo représentative de la faculté
Exercices no3
Leçon : Logique

Exercices de niveau 15.

Exo préc. :Forme Normale Conjonctive
Exo suiv. :Cohérence et formes clausales
En raison de limitations techniques, la typographie souhaitable du titre, « Exercice : Méthode de Quine
Logique (mathématiques)/Exercices/Méthode de Quine
 », n'a pu être restituée correctement ci-dessus.




L'exercice

modifier

Soit la formule :  .

  • Calculez ses formes normales disjonctive et conjonctive quelconques (pas obligatoirement canonique) par la méthode de Quine (via ses modèles et contre-modèles).