Enigme amusante : à vous de trouver...

TopGif -  
The.Fun.Man Messages postés 103 Statut Membre -
Merci de m'aider à retrouver le ou les coupables, je n'ai pâs trouvé pour le moment, c'est un exo et si vous pouviez m'envoyer vos réponses, ca serait sympa.

Un crime a été commis. André, Bernard et Claude sont 3 suspects. Les 3 suspects ont fait les témoignages suivant :
André : "Bernard est coupable et Claude est innocent"
Bernard : "Si André est coupable, alors Claude aussi"
Claude:"Je suis innocent mais l'un des 2 autres au moins est coupable".
Ecrire ces 3 temoignages TA, TB, TC en logique proportionnelle.
Existe-t-il une valuation qui satisfait l'ensemble de ces 3 témoignages ?

Le Juge d'instruction fait l'hypothese que dans toute affaire les innocents sont sinceres et les coupables mentent systematiquement. Montrer que cette hypothese revient à satisfaire un ensemble de 3 nouvelles propositions. Existe t-il une valuation qui satisfait cet ensemble et quelles sont alors les conclusions du juge ?

Merci à tous ceux qui pourront m'aider à trouver.

8 réponses

Fu Xuen Messages postés 3651 Statut Contributeur 306
 
Cook a montré que la K-satisfiabilité est un problème NP-complet, alors j'ai la flemme de chercher ;).

-= Fu Xuen =-
0
M&M Messages postés 5058 Statut Contributeur 669
 
Heureusement que ce forum s'appelle DIVERS !
Tu ne viendrais pas faire un tour au café du coin droit pour boire un pot ?

Pourrais-tu nous donner une cours de Logique proportionnelle ?
La Rousse me dit qu'entre Valseur et Valvaire, il n'y a pas de Valuation.

 :,§_ ç _
(@)=(@)
0
Wolfman
 
C'est un enigme pour nous amuser ou pour nous faire travailler ton petit devoir de logique!!!
0
The.Fun.Man Messages postés 103 Statut Membre 4
 
Salut ! Ca m'a l'air interessant..; je m'y colle !
@ + .... TFM
"La vie est une maladie mortelle sexuellement transmissible
0

Vous n’avez pas trouvé la réponse que vous recherchez ?

Posez votre question
The.Fun.Man Messages postés 103 Statut Membre 4
 
re salut !
sans démonstration mais de suite, de tete :
coupables : andre et claude :
A coupable donc TA devient : B est innocent et C est coupable : vérifié
B innocent : TB : vérifié
C : coupable, TC devient : je suis coupable et l'un des deux autres est coupable : vérifié...
Voila. J4essaye de te faire ca maintenant en logique

@ + .... TFM
"La vie est une maladie mortelle sexuellement transmissible
0
The.Fun.Man Messages postés 103 Statut Membre 4
 
re salut !
désolé : je suis pasrti dans un truc trop compliqué ... je me suis rendu compte qu'il y avait plusieurs solutions. il faut faire un raisonnement logique. @ +
@ + .... TFM
"La vie est une maladie mortelle sexuellement transmissible
0
Wolfman
 
Salut;
Est ce que tu sent vraiment que ta vie est une maladie!!
---------Amicalement Wolfman
0
The.Fun.Man Messages postés 103 Statut Membre 4
 
je t'avouerais que je ne sais pas....
Si la vie est une maladie.... alors j'ai toujours été malade.
Or, si j'ai toujours été malade, comment le saurais -je puisque je n'ai jamais connu la santé....
C'est comme ces esclaves qui ne se considère pas opprimés. Ils n'ont jamais connu la liberté et donc ne savent pas ce que c est...
Bon, je vais m'arréter la pasque ensuite ca peut délirer pas mal avec plein de question psychologique sur la nature du conscient / inconscient, sur la notion de liberté de pensée etc etc

@ + .... TFM
"La vie est une maladie mortelle sexuellement transmissible
0