Logique

[magyy]

Bonsoir,
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.
Merci d'avance!