Enigme amusante : à vous de trouver...
TopGif
-
The.Fun.Man Messages postés 103 Statut Membre -
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.
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
-
Cook a montré que la K-satisfiabilité est un problème NP-complet, alors j'ai la flemme de chercher ;).
-= Fu Xuen =- -
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.
:,§_ ç _
(@)=(@) -
C'est un enigme pour nous amuser ou pour nous faire travailler ton petit devoir de logique!!!
-
Salut ! Ca m'a l'air interessant..; je m'y colle !
@ + .... TFM
"La vie est une maladie mortelle sexuellement transmissible -
Vous n’avez pas trouvé la réponse que vous recherchez ?
Posez votre question -
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 -
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 -
Salut;
Est ce que tu sent vraiment que ta vie est une maladie!!
---------Amicalement Wolfman -
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
