Résoudre un problème de logique

[magy]

Bonjour,
je bloque sur cet exo:
Considerons les premisses decrites avec les phrases suivantes.

1.  Jules travaille dur 
2. si  Jules travaille dur , alors  il est un garcon terne 
3. si  Jules est un garçon terne alors  il n'obtiendra pas le travail 
   Formaliser ces premisses sous forme de clauses en numérotant les faits et les regles. Quelles sont les déductions qui peuvent etre tirees de ces premisses. Le but recherche est d'obtenir une assertion permettant de dire si Jules obtiendra le travail ou non. Deux preuves logiques peuvent etre produites. Donner ces deux preuves.
   Pour moi, la 1) est un fait,la 2) et la 3) sont des regles.La déduction c'est que Jules n'obtiendra pas le travail.Je pense que c'est ça aussi l'assertion.Maintenant je bloque pour faire les preuves...
   Merci d'avance!

[mtschoon]

Bonjour,

Je te donne seulement une réflexion personnelle...

Ce que tu écris me semble juste mais "Jules n'obtiendra pas le travail" est la "conclusion".

Je suppose que la question est de formuler logiquement l'énoncé donné.

Soit :

A :Jules travaille dur 
B : Jules est un garçon terne 
C : Jules n'obtiendra pas le travail 

Ecriture formelle :

A , A implique B , B implique C , donc C

Avec le codage usuel, cela donne :

$a,a\to b,b\to c,⊢c$

[magy]

ok,merci pour votre aide!

[mtschoon]

De rien !