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

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.




Exercices

modifier

Voici 2 types d'exercices pour les formes clausales.

Type 1 : À partir de la négation

modifier

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

Soit la conséquence suivante :  .

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