NOMBRES - Curiosités, théorie et usages

 

Accueil                           DicoNombre            Rubriques           Nouveautés      Édition du: 12/01/2013

Orientation générale        DicoMot Math          Atlas                   Références                     M'écrire

Barre de recherche          DicoCulture              Index alphabétique                               

     

LOGIQUE

 

Débutants

Logique

JEUX

 

Glossaire

Logique

 

 

INDEX

Logique formelle

Logique

 

Trois hôtels

Intégrammes

Quatre cartes

 

Sommaire de cette page

>>> Enquête sur les trois hôtels

 

 

 

 

LOGIQUE FORMELLE

ou logique du raisonnement

 

Exemple de résolution d'une énigme par raisonnement déductif.

 

 

Exemple: enquête concernant les trois hôtels

 

Situation

Trois hôtels : Aba, Biblo et Cabin.

Ils sont: jaune, rose et vert.

Quelle est la couleur de chaque hôtel ?

 

Renseignements

Le Jaune

1 – Il vient d’ouvrir, c'est le plus récent.
2 – Il n’a pas de tennis.

Aba

3 – Il a un tennis.

Biblo

4 – Il a été construit après le rose.

 

Résolution par raisonnement déductif

Aba

Biblo

Cabin

2 et 3 =>
5 – Aba pas jaune

6 – Aba pas 1er

4 =>
7 – Biblio pas rose

8 – Biblio pas 1er

6 et 8 =>

9 – Cabin est 1er

1 et 9 =>

10 – Cabin est jaune

Aba

Biblo

Cabin

 

10 et 11 =>

12 – Aba est rose

7 et 10 =>

11- Biblio est vert

 

4, 6 et 12 =>

13 Biblio est troisième

 

Conclusions

Aba

Biblo

Cabin

*      Rose

*      Vert

*      Jaune

*      Deuxième

*      Troisième

*      Premier

*      Tennis

*      Tennis ?

*      Pas de tennis

 

 

 

À un mot près …

 

Situation

Trois hôtels : Aba, Biblo et Cabin.

Ils sont: jaune, rose et vert.

Quelle est la couleur de chaque hôtel ?

 

Renseignements

Le Jaune

1 – Il vient d’ouvrir, c'est le plus récent.
2 – Il n’a pas de tennis.

Aba

3 – Il a un tennis.

Biblo

4 – Il a été construit avant le rose.

 

On trouve aussi cette énigme posée avec le mot avant dans la proposition 4. Que devient la solution ? Il y en a trois!

 

Résolution par raisonnement déductif

Aba

Biblo

Cabin

2 et 3 =>
5 – Aba pas jaune

6 – Aba pas 1er

4 =>
7 – Biblio pas rose

8 – Biblio pas 3e

 

Aba

Biblo

Cabin

Aba est vert ou rose

Biblio est vert ou jaune

 

 

Conclusions: vous pouvez vérifier que ces trois solutions conviennent

 

 

 

 

Cité par Norbert Verdier – Dico des sciences

 

 

Suite

*    Intégrammes

*    Logique – Index

Voir

*    Auto - Références

*    Énigmes et paradoxes

*    Jeux – Index

Cette page

http://villemin.gerard.free.fr/Wwwgvmm/Logique/LogForm.htm