Aller au contenu

Logique (mathématiques)/Exercices/Cohérence et formes clausales

Leçons de niveau 15
Une page de Wikiversité, la communauté pédagogique libre.
Cohérence et formes clausales
Image logo représentative de la faculté
Exercices no4
Leçon : Logique

Exercices de niveau 15.

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




Voici 2 types d'exercices pour les formes clausales.

Type 1 : À partir de la négation

[modifier | modifier le wikicode]

Soit la conséquence suivante : .

  • Est-elle vraie ? Prouvez-le en utilisant la méthode de résolution (appliquée aux formes clausales).

Type 2 : À partir de la contradiction

[modifier | modifier le wikicode]

Soit la conséquence suivante : .

  • Est-elle vraie ? Prouvez-le en utilisant la méthode de résolution (appliquée aux formes clausales).