Prédicat

par **khadi8** » 03 Jan 2011, 20:28

salut SVP qui pourra m'aider dans cet exercice

Soit la formule V x p(x,f(x)) ou p est prédicat binaire et f une fonction monaire
soit l'interprétation I suivante:

D=*N entier naturel
p(x,y) signifie xf(x) signifie double(x)
-interpréter cette formule pour I est elle vraie ou fausse?
-trouver une interprétation qui rend cette formule fausse
ps:V signifie qq soit
franchement j'ai rien compris qui pourra m'aider a le faire ??

par **Ben314** » 03 Jan 2011, 23:12

Salut,
On te demande uniquement dans la formule

de remplacer

par

,

par

et

par

puis de dire si cette affirmation est vraie...

par **khadi8** » 04 Jan 2011, 14:20

Ben314 a écrit:Salut,
On te demande uniquement dans la formule de remplacer par , par et par puis de dire si cette affirmation est vraie...

ah OK merci pour ton aide

par **khadi8** » 04 Jan 2011, 16:02

donc j'aurai le suivant
[img]http://latex.ilemaths.net/ile_tex.cgi?(\forall%20x%20\in%20{\bb{N}})x%20%3C%202x[/img]

et pour qu'elle soit fausse je peux changer l'appartenance de x donc j'aurai

D=R-
et cette formule [img]http://latex.ilemaths.net/ile_tex.cgi?(\forall%20x%20\in%20{\bb{N}})x%20%3C%202x[/img] devient fausse car x<0
c'est ça je me trompe pas ??

par **Ben314** » 04 Jan 2011, 17:03

C'est bien ça.

par **khadi8** » 04 Jan 2011, 21:13

En fin c'est été pas sorcier lol :ptdr:

Prédicat

prédicat

Qui est en ligne