Leçons de niveau 15

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

Une page de Wikiversité.
Sauter à la navigation Sauter à la recherche
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
Icon falscher Titel.svg
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 | modifier le wikicode]

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).