Calcul predicats .

[invite6ad6c917]

Voici l'exercice :
Soit l'enoncé suivant: Il fait beau, on est vendredi, meredith grey a de la chance si on est en éte. Dr house a de la chance si il fait beau et si on est vendredi . Meredith grey est malin, dr house est malin, x effectue une operation chirurgical si x est malin et si x a de la chance .
1 ) proposer une formalisation du preobleme en logique des predicat
2) En applicant le modele de herbrand montrer que dr house effectue une operation chirurgical .
3) utiliser un autre algo preciser lequel pour repondre a la question "qui effectue une operation chirurgical

Voila
Alors pour la question 1 j'ai pensé a ca :
S = (B,V,C(M)->B,C(H)->B inter V ,M(M) , M(H) , Qulequesoit X O(x) ->C(x) inter M(x) .
Je precise O signifie operation chirurgical, M malin et C chance , H dr house et M meredith .
-----

[invite57a1e779]

Voici l'exercice :
Soit l'enoncé suivant: Il fait beau, on est vendredi, meredith grey a de la chance si on est en éte. Dr house a de la chance si il fait beau et si on est vendredi . Meredith grey est malin, dr house est malin, x effectue une operation chirurgical si x est malin et si x a de la chance .

Je precise O signifie operation chirurgical, M malin et C chance , H dr house et M meredith .

Tu as oublié E «on est en été», et il vaut mieux noter G pour Meredith Grey, sinon il y a une confusion avec «malin».
Il me semble que tu t'est trompé dans le sens de tes implications :

Il faudrait peut-être rajouter l'axiome implicite

[invite6ad6c917]

merci pour la réponse, vous ête, sur que je me suis tromper dans le sens de mes implications , on lit si on est en ete meredith a de la chance donc moi je pensais que ca se traduisait meredith a de la chance implique que l on soit en été dont C(M)-> E.

[invite6ad6c917]

Oui, tout a fait vous avez raison God's Breath, moi je traduisat l'implication par necessite de .
Par exemple pour si on est en ete meredith a de la chance je comprenais :
(avoir de la chance necessite d'etre en été) mais j'ai regarder le veritable sens de implique et ca signifie avoir pour consequence donc etre en ete a pour consequene que meredith a de la chance. Merci ca m'evitera de commetre l'erreur lors de mes partiels.

[A voir en vidéo sur Futura]