problème de quantificateurs (comme d'habitude...)

[azizovsky]

Bonjour, comme toujours, j'ai un problème de quantificateurs avec deux assertions couplées :




est ce que la conclusion : est vraie ? Merci d'avance.

(je ne peut pas séparer les variables..., se sont des données...)
-----

[leon1789]

Clairement non.

Ta première assertion ne dit rien d'autre que
Et la seconde

[Médiat]

Bonjour,

Je ne suis pas sûr de bien comprendre votre dernière inclusion, voulez-vous dire que pour une paire {s, t} donnée qui définit un x unique, cette paire est incluse dans l'ensemble des paires qui définissent x ? Si c'est bien cela, la réponse est oui.

[EDIT] Mon "Oui" n'est pas en contradiction avec le "Non" de leon1789, puisque nous avons compris la question de deux façons différentes

[invite57a1e779]

Je traduis en français :

Deux éléments quelconques de l'ensemble F ont une somme unique dans un ensemble E qui contient F.
Tout élément de E est somme de deux éléments de E.

A propos de quels ensembles peut-on se poser une question d'inclusion ?

[A voir en vidéo sur Futura]

[azizovsky]

ok, pour aller directement au but

[Médiat]

Je n'ai toujours pas compris la question, voulez vous montrez que els deux énoncés sont équivalents, que les solutions de l'un sont solutions de l'autre ???

En tout état de cause j'ai écrit une bêtise dans ma première réponse, je n'avais pas fait attention que {s, t} appartenait à un plus grand ensemble que{alpha, beta}

[invite57a1e779]

Pour aller au but : l'énoncé proposé est une formule close sans variable libre.

Qui sens faut-il donner aux notations et ?

[azizovsky]

si ma conclusion est vraie (l'inclusion), la conjoncture de Goldbach est démontrée..

[Médiat]

L'inclusion de quoi ?

[azizovsky]

Pour aller au but : l'énoncé proposé est une formule close sans variable libre.

Qui sens faut-il donner aux notations et ?

ok, car des nombres premiers.

et dans la deuxième assertion avec des conditions sur

[azizovsky]

L'inclusion de quoi ?

désolé, mon PC est très très lent, l'inclusion des nombres premiers dans la deuxième assertion.(il déconne ...1/2 h ou plus pour démarrer, ça dépend de son humeur )

[gg0]

Azizovsky,

je retraduis ce que dit God's Breath : les formules parlent de E et F, pas de donc comme ces trois lettres peuvent être remplacées par d'autres, par exemple , tu n'as pas de conclusion possible concernant .

Cordialement.

[gg0]

Si je comprends bien, tu dis que la somme de deux nombres premiers est un entier (connu depuis 2500 ans), puis tu écris que tout entier est la somme de deux entiers.
Que tu le dises en français, ou que tu l'écrives en formalisme mathématique ne change rien, il n'y a pas de concluion particulière à tirer de ces deux assertions.

Désolé !

[azizovsky]

Si je comprends bien, tu dis que la somme de deux nombres premiers est un entier (connu depuis 2500 ans), puis tu écris que tout entier est la somme de deux entiers.
Que tu le dises en français, ou que tu l'écrives en formalisme mathématique ne change rien, il n'y a pas de concluion particulière à tirer de ces deux assertions.

Désolé !

Merci, non, pas de quoi, c'est une idée qui passe...,même c'est débile de ma part, car je sais dès départ qu'il y'a quelque chose qui...., ce n'est pas grave. deux personne n'apprenne jamais, le timide et l'orgueilleux .