Les 3 oracles [Résolu]

[pseudocode]

Vous connaissez tous l'enigme des 2 oracles: un qui ment toujours et l'autre qui ne ment jamais... en voici une variante (facile):

----------------------------------------------------------------------

Dans la dimension Oraclienne vivent des milliers d'oracles, chacun appartenant a l'une des 3 especes suivantes:
- les oracles qui mentent toujours: les Malefix
- les oracles qui ne mentent jamais: les Veritix
- les oracles qui alternent mensonge et verité: les Alternix

Suite a une invocation magique, 3 oracles sont apparus et voici ce qu'ils ont déclarés:

Oracle 1:
- Vous êtes tous deux des Veritix
- Moi, je suis un Veritix.

Oracle 2:
- Vous êtes tous deux des Alternix
- Moi, je suis un Veritix

Oracle 3:
- Un de vous deux est un Veritix, l'autre est un Alternix
- Moi, je suis un Veritix.


Saurez-vous dire a quelle espece appartient chaque oracle ?

[rostomus]

Je pense que :Les 3 oracles sont malefix.
raisonnement:

Code :

1
2
3
4
5
6
7
8
9
10
11
12
13
14

1) supposons oracle 1 est veritix ==> les 3 sont veritix, or oracle 2 dis:" vous etes tout les deux altenix ==> contradiction
2) supposons oracle 1 est alternix
   2.a)  Vous êtes tous deux des Veritix == vrai  : le même cas que precedent
   2.b)  Vous êtes tous deux des Veritix == faux :==>  Moi, je suis un Veritix=vrai, or il est alternix ==> contradiction
3)supposons oracle 1 est malefix: ==> oracle 2 et 3 ne sont pas vertix
    3.a) oracle 2 est alternix:
          *  Moi, je suis un Veritix = faux car il n'est pas vertix selon oracle 1
            donc "Vous êtes tous deux des Alternix "= vrai , or oracle 1 est malefix ==> contradiction
     3.b) oracle 2 est malefix: donc "Moi, je suis un Veritix" faux (OK)
            "Vous êtes tous deux des Alternix "==> oracle 1 et 3 ne sont pas alternix ==> oracle 3 est malefix car il ne peut etre vertix
   oracle 3 dit:
    - Un de vous deux est un Veritix, l'autre est un Alternix --> faux 1 et 2 sont melefix ==> (OK)
    - Moi, je suis un Veritix. faux car il est malefix ==> (OK)