Leçons de niveau 15

Logique (mathématiques)/Exercices/Méthode des tableaux

Une page de Wikiversité.
Sauter à la navigation Sauter à la recherche
Méthode des tableaux
Image logo représentative de la faculté
Exercices no5
Leçon : Logique

Exercices de niveau 15.

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




Voici 2 types d'exercices : un où la proposition est vraie et l'autre où la proposition est fausse.

Type 1[modifier | modifier le wikicode]

Par temps d'hiver, pour passer en Andorre, il suffit d’avoir les pneus cloutés ou de mettre les chaînes à neige. L'hiver dernier Pierre n’est pas passé en Andorre. Sa voiture n'avait pas de pneus cloutés.

  • Prouvez que Pierre n'a pas mis les chaînes à neige. Pour le faire, traduisez ces phrases en logique propositionnelle et utilisez la méthode des tableaux.

Type 2[modifier | modifier le wikicode]

Soit la conséquence suivante : .

  • Est-elle vraie ? Prouvez-le en utilisant la méthode des tableaux.

Si non, donnez un contre-modèle.