logique !

[invite4a9059ea]

Bonjour tous le monde ;

Soient les prédicats :

f(x) : x est un facteur
v(x) : x est un vélo
p(x, y) : x possède y
e(x, y) : x égale y

je dois traduire la proposition suivante en français et j'ai un peu de mal !







Merci
Cordialement
-----

[invite57a1e779]

Tout facteur possède au plus un vélo.

[invite4a9059ea]

époustouflant la vitesse de réponse

quant à moi je vais y réfléchir encore un peu , parce que j'ai comme même du mal ....

cdt

[invite4a9059ea]

est-ce que quelqu'un peut me donner la signification des symboles suivants , j'ai des doutes !








merci

[A voir en vidéo sur Futura]

[invite57a1e779]

Je les comprends ainsi :

: et

: ou

: implique

[invite4a9059ea]

Je les comprends ainsi :

: et

: ou

: implique

oui c'est exact , j'ai regardé le cours c'est bien celà , God's breath pourrais-tu me détailler un peu plus la proposition s'il te plait , car ça reste encore obscur pour moi !

merci

[invite4a9059ea]

Bonjour tous le monde ;

f(x) : x est un facteur
v(x) : x est un vélo
p(x, y) : x possède y
e(x, y) : x égale y







Cordialement

j'essaie !

le tout début , est-ce :

pour tout vélo il y a un facteur ?



cdt

[invite57a1e779]

La traduction mot à mot est :
Pour tout x, si x est un facteur, alors
pour tout y et tout z, si y et z sont des vélos et s'ils sont différents, alors x ne possède pas y ou x ne possède pas z.

[invite4a9059ea]

Merci God's Breath c'est toi (le ou la ) meilleur(e)