Leçons de niveau 15

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

Une page de Wikiversité.
Sauter à la navigation Sauter à la recherche
Cohérence et formes clausales
Image logo représentative de la faculté
Exercices no4
Leçon : Logique

Ces exercices sont de niveau 15.

Exo préc. :Méthode de Quine
Exo suiv. :Méthode des tableaux
Icon falscher Titel.svg
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 | modifier le wikicode]

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