Proposition ou non ?

[marocker]

1) 2+3 = 5

2) x appartient à N , x+8=10


pourquoi l'énoncé 1) est une proposition quand à 2) ce n'est pas une proposition ?

et merci !

[legeniedesalpages]

Bonjour, c'est quoi la définition d'une proposition?

[marocker]

Bonjour, c'est quoi la définition d'une proposition?

euh .... la proposition peut être vraie ou fausse


mais pour 1) elle est vrai donc pourkoi la considérer comme proposition ??

[Skullkid]

Bonjour, pour moi, mais je me trompe peut-être, une proposition a une valeur de vérité (vrai ou faux). En particulier, on peut nier une proposition.

"2+3 = 5" a une valeur de vérité : c'est une proposition.
"x appartient à N , x+8=10" n'a pas de valeur de vérité : ce n'est pas une proposition.

Par contre "x appartient à N et x+8=10" c'en est une. Pour moi, "x appartient à N, x+8=10" c'est la même chose que "soit x appartenant à N tel que x+8=10".

Encore une fois, je peux me tromper.

[nuage]

Salut,
sans aucune garantie sur l'exactitude de mes souvenirs : dans une proposition il n'y a pas de variable libre (cad non quantifiée).
Par exemple
est une proposition (fausse)
en est une autre (vraie)
mais n'et ni vrai ni faux.

Le tout sauf erreur de ma part.

[marocker]

Salut,
sans aucune garantie sur l'exactitude de mes souvenirs : dans une proposition il n'y a pas de variable libre (cad non quantifiée).
Par exemple
est une proposition (fausse)
en est une autre (vraie)
mais n'et ni vrai ni faux.

Le tout sauf erreur de ma part.

pigé donc si on ne voit pas l'expression il existe ( le E à l'envers ) ou quelque soit ( le A à l'envers ) donc l'énoncé n'est pas une proposition

c ça ??

[bruce.ml]

d'accord avec nuage. Il me semble qu'on appelle plus ces choses des prédicats que des propositions, mais ça revient au même ...

le 2) n'en est pas un car cette phrase n'a pas de sens !

[Skullkid]

pigé donc si on ne voit pas l'expression il existe ( le E à l'envers ) ou quelque soit ( le A à l'envers ) donc l'énoncé n'est pas une proposition

c ça ??

Pas exactement, puisque "3+2=5" est une proposition, alors qu'il n'y a aucun quantificateur dedans. Je pense qu'il n'y a rien à modifier dans ce qu'a dit nuage :

dans une proposition il n'y a pas de variable libre (cad non quantifiée)

[marocker]

Pas exactement, puisque "3+2=5" est une proposition, alors qu'il n'y a aucun quantificateur dedans. Je pense qu'il n'y a rien à modifier dans ce qu'a dit nuage :

merci à tous !