Auto-références (énigme)

 Niveau énigmesPartager :
			        
Auto-références (énigme)
Posté par 
Hugo142857  15-10-18 à 21:53
Bonjour ! 

Voici une énigme, chaque question vous invite à entourer des propositions, (notons qu'il existe une unique solution à cette énigme) :

Question 1 : Parmi les propositions suivantes, exactement 2 sont vraies, entourez les :

A) il y a autant ou plus de propositions C que de propositions D entourées  

B) il y a autant de propositions A que de propositions D entourées

C) le lycée de Druss s'appelle George de la Tour

D) Il y a strictement plus de propositions D que de propositions C entourées 

Question 2 : Parmi les propositions suivantes, exactement 1 est vraie, entourez la:

A) il y a exactement 11 proposition entourées

B) il y a exactement 12 proposition entourées

C) il y a exactement 16 proposition entourées

D) il y a exactement 20 proposition entourées

Question 3 : Parmi les propositions suivantes, exactement 2 sont fausses, entourez les :

A) dans chacune des questions 5 et 8, il y a un nombre pair de propositions entourées 

B) dans la question 8, il y a au plus une propositions fausse

C) dans les questions 1 et 5, la proposition B est toujours entourée

D) dans chaque question de numéro pair, il y a un nombre impaire de propositions entourées

Question 4 : Parmi les propositions suivantes, exactement 3 sont fausses, entourez les :

A) dans la question 6, la proposition B ou la proposition D est entourée

B) la proposition 8-B est fausse

C) il y a au moins une proposition entourée dans la question 8

D) si le texte de cette réponse avait été « cette proposition est vrai », l'énigme aurai eu plusieurs solutions

Question 5 : Parmi les propositions suivantes, entourez celles qui sont vraies :

A) il y a exactement 4 propositions A entourées 

B) les propositions entourées en question 8 sont vraies

C) la proposition 7-B est entourée

D) il y a exactement 4 propositions A entourées 

Question 6 : Parmi les propositions suivantes, entourez celles qui sont fausses :

A) il y a une seule proposition vrai dans la question 5

B) il y a une seule proposition vrai dans la question 7

C) il y a au moins 2 propositions vraies dans la question 5

D) la proposition entourée en question 2 l'est aussi en question 5

Question 7 :  Parmi les propositions suivantes, au moins une est vrai et au moins une est fausse, entourez en une vrai et une fausse :

A) il y a exactement 4 propositions C entourées 

B) il y a autant de propositions entourées dans la question 5 que dans la question 6

C) il n'y a aucune proposition C entourée

D) il y a exactement 5 propositions B entourées

Question 8 : Parmi les propositions suivantes, entourez en 0, 1, 2, 3 ou 4 : 

A) il y a exactement 6 propositions C entourées

B) La première proposition entourée dans la question 3 l'est aussi dans la question 1

C) si dans cette énigme on échange les propositions A et les propositions D, la nouvelle énigme obtenue n'a pas de solution

D) il y a exactement 3 propositions B entourées

Voilà, pas évident hein ? ^^

(je vous suggère de procéder par élimination des réponses trivialement non-entourées puis de faire des chaines d'implication pour tester les autres, et essayer à partir d'hypothèses d'arriver a des contradictions pour pouvoir les éliminer.)

Bonne chance à tous  ! ^^
 Posté par 
dpire : Auto-références (énigme)  16-10-18 à 11:22
Bonjour,

Merci pour l'animation

Effectivement il y a 48 cases cochées ou non et une logique doit en sortir,

ce qui va faire phosphorer dans les chaumières. 
 Posté par 
dpire : Auto-références (énigme)  16-10-18 à 16:55
Suite

C'est bien sûr 32 cases (je voulais voir ceux qui suivent)

Je ne pense pas qu'il y ait de réponses intégrales au premier coup

donc je me lance:

 Cliquez pour afficher
Je débute par dénombrer 16 cases possibles dont 2 dans 8

donc 2B   valide 2

et 1C  est fausse  ce qui laisse A et B ou A et D  ou B et D vraies

7C est fausse  qui laisse  A ou B ou D vraies.

La réponse 8 B est fausse est un affirmation vraie donc A  C et D sont fausses  donc je  valide les A C et D  dans 4.
 Posté par 
Hugo142857re : Auto-références (énigme)  16-10-18 à 23:52
pourquoi penses tu que 1C est faux ?
 Posté par 
dpire : Auto-références (énigme)  17-10-18 à 08:29
Car en associant les deux noms sur le net   druss ressort en

"termes manquant"

Dois-je en déduire que 1C est vrai ce qui réorienterait totalement mon logigramme?
 Posté par 
LittleFoxre : Auto-références (énigme)  17-10-18 à 09:09

Le lycée de Georges de la Tour existe (en plus en France) et je ne connais pas ce Druss. Du coup aucune idée si c'est vrai ou faux. Je ne pense pas que cet indice soit une clé de l'énigme mais plutôt un résultat quand on a résolu l'énigme 
 Posté par 
dpire : Auto-références (énigme)  17-10-18 à 12:32
SUITE

En partant de 1 C  VRAI...

Et sous toutes réserves...

 Cliquez pour afficher
1 B  1C       soit   2 V

2C                            1 V

3C  3D                   2 F

4A  4B  4D          3 F

5A  5B  5C          3  V

6A  6B                  2  F

7A  7C                  1 V 1F

8C                           1

 SOIT                  16  entourés
 Posté par 
LittleFoxre : Auto-références (énigme)  17-10-18 à 18:09
@dpi

Si 5B est entouré alors 7B l'est aussi, ce qui n'est pas le cas. Donc ta solution n'en est pas une.
 Posté par 
Hugo142857re : Auto-références (énigme)  17-10-18 à 20:00
tu n'as pas assez d'informations pour déterminer pour l'instant si 1C est correct, je te suggère d'essayer de le déduire de tes autres réponses comme le précise LittleFox
 Posté par 
dpire : Auto-références (énigme)  18-10-18 à 09:21
De toute façon si Druss était allé dans un lycée ce ne serait certainement pas  le lycée Georges de la Tour  (17 ème siècle ).
 Posté par 
LittleFoxre : Auto-références (énigme)  18-10-18 à 16:38
Tu es sûr? Il y a des lycées plus modernes avec ce nom là : 
 Posté par 
dpire : Auto-références (énigme)  18-10-18 à 17:26
Oui,mais Druss  serait mort depuis longtemps 
 Posté par 
dpire : Auto-références (énigme)  18-10-18 à 17:30
Vu la complexité du logigramme ,je pense qu'il faut collaborer du moins en blank
 Posté par 
LittleFoxre : Auto-références (énigme)  23-10-18 à 12:38

Après beaucoup de recherches, je crois que cette énigme n'a pas de solution...

La réponse ci-dessous est la plus proche d'une solution que j'ai trouvée :

 Cliquez pour afficher
   A  B  C  D 
1) XF OV XF OV : 2
2) XF XF OV XF : 1
3) OF OF XV XV : 2
4) OF OF XV OF : 3
5) OV OV OV OV : 4
6) OF XV XV XV : 1
7) XF OF XF OV : 2
8) XF XV OV XF : 1
   ----------------
   4  5  3  4  : 16

O/X : entourée/pas entourée

V/F : vraie/fausse

En modifiant 4B ou 8B j'obtiens bien une solution, celle-ci est celle obtenue en modifiant 8B.

Voici le programme (Prolog) que j'ai écris pour tenter de résoudre cette énigme :

 Cliquez pour afficher
:- lib(ic).

model(ME,MV) :- 
   ME = [Q1E,Q2E,Q3E,Q4E,Q5E,Q6E,Q7E,Q8E],
   Q1E = [E1A,E1B,E1C,E1D],
   Q2E = [E2A,E2B,E2C,E2D],
   Q3E = [E3A,E3B,E3C,E3D],
   Q4E = [E4A,E4B,E4C,E4D],
   Q5E = [E5A,E5B,E5C,E5D],
   Q6E = [E6A,E6B,E6C,E6D],
   Q7E = [E7A,E7B,E7C,E7D],
   Q8E = [E8A,E8B,E8C,E8D],
   ME #:: [0,1],
   
   MV = [Q1V,Q2V,Q3V,Q4V,Q5V,Q6V,Q7V,Q8V],
   Q1V = [V1A,V1B,V1C,V1D],
   Q2V = [V2A,V2B,V2C,V2D],
   Q3V = [V3A,V3B,V3C,V3D],
   Q4V = [V4A,V4B,V4C,V4D],
   Q5V = [V5A,V5B,V5C,V5D],
   Q6V = [V6A,V6B,V6C,V6D],
   Q7V = [V7A,V7B,V7C,V7D],
   Q8V = [V8A,V8B,V8C,V8D],
   MV #:: [0,1],
   
   EA #= E1A+E2A+E3A+E4A+E5A+E6A+E7A+E8A,
   EB #= E1B+E2B+E3B+E4B+E5B+E6B+E7B+E8B,
   EC #= E1C+E2C+E3C+E4C+E5C+E6C+E7C+E8C,
   ED #= E1D+E2D+E3D+E4D+E5D+E6D+E7D+E8D,
   E #= EA+EB+EC+ED,
   
   E2 #= E2A+E2B+E2C+E2D,
   E4 #= E4A+E4B+E4C+E4D,
   E5 #= E5A+E5B+E5C+E5D,
   E6 #= E6A+E6B+E6C+E6D,
   E8 #= E8A+E8B+E8C+E8D,
   
   V1 #= V1A+V1B+V1C+V1D,
   V2 #= V2A+V2B+V2C+V2D,
   V3 #= V3A+V3B+V3C+V3D,
   V4 #= V4A+V4B+V4C+V4D,
   V5 #= V5A+V5B+V5C+V5D,
   V7 #= V7A+V7B+V7C+V7D,
   V8 #= V8A+V8B+V8C+V8D,
   
   V1 #= 2, circleTrue(Q1V,Q1E),
   V1A #= (EC #>= ED),
   V1B #= (EA #= ED),
   % TODO V1C,
   V1D #= (ED #> EC),
   
   V2 #= 1, circleTrue(Q2V,Q2E),
   V2A #= (E #= 11),
   V2B #= (E #= 12),
   V2C #= (E #= 16),
   V2D #= (E #= 20),
   
   V3 #= 2, circleFalse(Q3V,Q3E),
   V3A #= ((E5 #:: [0,2,4]) and (E8 #:: [0,2,4])),
   V3B #= (V8 #>= 3),
   V3C #= (E1B and E5B),
   V3D #= ((E2 #:: [1,3]) and (E4 #:: [1,3]) and (E6 #:: [1,3]) and (E8 #:: [1,3])),
   
   V4 #= 1, circleFalse(Q4V,Q4E),
   V4A #= (E6B or E6D),
   V4B #= (neg V8B),
   V4C #= (E8 #>= 1),
   % TODO V4D,
   
   circleTrue(Q5V,Q5E),
   V5A #= (EA #= 4),
   V5B #= ((E8A => V8A) and (E8B => V8B) and (E8C => V8C) and (E8D => V8D)),
   V5C #= (E7B),
   V5D #= (EA #= 4),
   
   circleFalse(Q6V,Q6E),
   V6A #= (V5 #= 1),
   V6B #= (V7 #= 1),
   V6C #= (V5 #>= 2),
   V6D #= ((E2A => E5A) and (E2B => E5B) and (E2C => E5C) and (E2D => E5D)),
   
   V7 #:: 1..3, (E7A*V7A+E7B*V7B+E7C*V7C+E7D*V7D #= 1), (E7A*(1-V7A)+E7B*(1-V7B)+E7C*(1-V7C)+E7D*(1-V7D) #= 1),
   V7A #= (EC #= 4),
   V7B #= (E5 #= E6),
   V7C #= (EC #= 0),
   V7D #= (EB #= 5),
   
   E8 #:: [0,1,2,3,4],
   V8A #= (EC #= 6),
%   V8B #= ((E3A and E1A) or ((neg E3A and E3B) and E1B) or ((neg E3A and neg E3B and E3C) and E1C) or ((neg E3A and neg E3B and neg E3C and E3D) and E1D)),
   %TODO V8C,
   V8D #= (EB #= 3),
   
   true.

circleTrue([],[]).
circleTrue([V0|V],[E0|E]) :- V0 #= E0, circleTrue(V,E).

circleFalse([],[]).
circleFalse([V0|V],[E0|E]) :- V0 #= (neg E0), circleFalse(V,E).

 Posté par 
dpire : Auto-références (énigme)  23-10-18 à 16:08
>Littlefox

Le pluriel de 6 impose au moins deux F
 Posté par 
LittleFoxre : Auto-références (énigme)  23-10-18 à 16:22
Non, pas d'accord (de toute façon je n'ai pas de solutions non plus avec plusieurs 6 entourées).
 Posté par 
dpire : Auto-références (énigme)  23-10-18 à 16:51
6/il est dit entourez celles qui sont fausses.

De toute façon moi aussi je tourne en rond.......
 Posté par 
LittleFoxre : Auto-références (énigme)  24-10-18 à 17:22
Étrange, quel est le lien entre Hugo et KMS? :  
 Posté par 
dpire : Auto-références (énigme)  24-10-18 à 18:12
Tu es un fin limier 
 Posté par 
LittleFoxre : Auto-références (énigme)  09-11-18 à 16:50

Pas d'avancée ni ici ni là . Hugo142857 as-tu la (une) solution? Peux-tu nous dire d'où vient cette énigme?
  Posté par 
malou re : Auto-références (énigme)  09-11-18 à 17:55
LittleFox @ 24-10-2018 à 17:22

Étrange, quel est le lien entre Hugo et KMS? :  

bien vu....quand KMS aura sa réponse, Hugo aussi