Ecriture d'un prédicat

[VieuxCrouton]

Bonjour.

Cette écriture vous paraît-elle correcte ?


J'ai voulu écrire :
Pour toute partie X de EUF, si X inter F est vide alors min X = min(XUE) sinon min X = min(XUF)

Pierre

[aviateur]

Bonjour
C'est plus qu'incorrect.
En math "x appartient à A " signifie que "x est un élément de A"
"x est inclus dans A " signifie que "x est un sous ensemble de A"

Et puis employer comme ça en dehors de toute précision d'un ordre ça veut rien dire.

[VieuxCrouton]

Bonjour
Je m'étais effectivement trompé de symbole il faut mettre celui de l'inclusion et non celui de l'appartenance.

Pour ce qui concerne la fonction min il me semble qu'elle est tout à fait standard. Elle désigne le plus petit élément d'un ensemble (lorsqu'il existe), on n'a pas besoin d'expliciter la relation d'ordre pour lui donner un sens. Mais de toutes façons ce n'était pas vraiment l'objet de ma question.

Ma question est comment écrit-on :
Pour tous ensembles E et F et non vides et pour toute partie X de EUF non vide , si X inter E est vide alors P(X) sinon Q(X)

Je propose cela :

[tournesol]

Bonjour VieuxCrouton
Explique nous ce que tu veux faire et non seulement on t'aidera mais on te donnera la bonne syntaxe pour écrire tes propriétés en langage formel .
P(X) , Q(X) , ????????????

[aviateur]

Bonjour
Je me retire du sujet ne comprenant l'objectif.

[mathelot]

bonjour,


La proposition se décompose en deux implications distinctes:

[VieuxCrouton]

Bonjour mathelot. C'est en effet plus lisible comme cela. Finalement je l'ai même partagé en 3, il me semble que c'est encore plus clair :

Pour tous ensembles et non vides, et pour toute partie non vide de :