Résoudre un problème de logique


  • M

    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→b , b→c ,  ⊢ca\ ,\ a \rightarrow b\ , \ b \rightarrow c\ , \ \ \vdash ca , ab , bc ,  c


  • M

    ok,merci pour votre aide!


  • mtschoon

    De rien !


Se connecter pour répondre