Niveau BTS

les quantificateurs

Posté par
trevis22 21-05-09 à 22:07

comment écrire cette proposition avec des quantificateurs "pour trois réels choisi il y a au moins deux de même signe"

Posté par re : les quantificateurs 21-05-09 à 22:47

Bonsoir aussi...

Posté par re : les quantificateurs 22-05-09 à 11:55

pour toute partie A de R
card(A)=3 implique $\exist x\in A \exist y\in A x\neq y$ et $xy>=0$

Posté par re : les quantificateurs 22-05-09 à 18:58

(l'énoncé ne dit pas que les trois réels doivent être distincts Apaugam...)

moi j'écrirais plutôt :

x₁,x₂,x₃, i,j{1,2,3} ; ij et x_ix_j0

(en considérant que 0 est positif et négatif !)

Posté par re : les quantificateurs 23-05-09 à 00:34

tu as raison c'est vrai aussi
mais si ils sont tous les trois égaux par exemple on ne dit pas d'habitude qu'il y en a au moins 2 de même signe
c'est pour cela que je les suppose distincts

Posté par re : les quantificateurs 23-05-09 à 18:39

disons que lorsqu'au moins deux sont égaux la proposition est vraie de façon triviale...

mais de toutes façon, ici, on ne demande pas de la démontrer... mais de l'écrire !

Posté par re : les quantificateurs 24-05-09 à 04:41

Citation :
lorsqu'au moins deux sont égaux la proposition est vraie de façon triviale...

pour moi, non
on se heurte à l'ambiguité du français
au moins deux
sous-entend pour moi deux distincts, mais on peut l'interpréter autrement.
c'est l'avantage du langage formalisé cela lève les ambiguités.