niveau doctorat ? ... mais de quoi ?

Bonjour, en fait la notion de niveau m'échappe. Mon truc c'est les maths, pas les niveaux.

Bref, c'est un problème à résoudre. Si la caissière du coin a une bonne solution, je prends. "Niveau" en maths ne signifie rien pour moi.

Trouver ci-joint une solution (la mienne), j'en cherchais d'autre (niveau cp)

J'arrive pas à accrocher les captures sur écran.

J'attache un pdf, mais il n'apparait pas dans le message final. Qu'est-ce qu'il se passe ?


PDF - 89 Ko

Bonjour,

Bonjour,
Je reconnais le style (formalisme délirant) de quelqu'un qui sévissait sur le site les-mathematiques.net . Me trompé-je ?

Bonjour, monsieur, c'est bien moi. 😂

ouais ... ben bof ...

quel est l'intérêt d'un tel formalisme ?

je préfère autrement la rédaction de verdurin (avec des "et" et des "ou", ce qui revient exactement au même que ces wedge et "antiwedge" beaucoup moins significatif) beaucoup plus formatrice pour des élèves de fin de lycée ou post-bac ...

Salut carpediem,
je crois même que je préférerais la démo que j'ai donnée si elle était écrite avec des mots.

Bonjour,
Vous avez écrit une formule. Mais le problème consiste plutôt à écrire une suite de formules qui se déduisent trivialement l'une de l'autre  jusqu'à ce que l'on arrive à la formule "true" ou une suite de formules qui part de "true" et arrivé à la formule qu'on veut prouver.

verdurin @ 04-05-2025 à 15:35

Bonjour,

Un premier intérêt : aucune traduction nécessaire.

Il s'agit ici de ramener la démonstration à un calcul.

certes mais je préfère savoir démontrer ce résultat en français comme le dit verdurin avec un vocabulaire précis et rigoureux (mathématique) que de savoir l'écrire comme tu l'as fait dans ton pdf

ce genre de rédaction n'intéresse que des "purs et durs" travaillant dans l'informatique ou en métamathématique et l'écriture de preuve formelle (ou tout ce qui concerne les langages formels et autre grammaire et tout ce qui touche à ce domaine)

Euler36
On peut commencer les critiques :
que reproches tu à

petit rappel est un synonyme de

Je commence à comprendre votre formule (c'est un tableau mais écrit à l'horizontale avec des quantificateurs entourant le tout). J'avais du mal parce que le tableau est écrit à l'horizontale. Sinon c'est en effet quelque chose comme cette dernière version qui est cherché. Sauf qu'on veut la formule à prouver au début ou à la fin. (Sinon, l'idée de mettre les quantificateurs au début du tableau  est assez cool.)

verdurin @ 04-05-2025 à 22:38

Euler36
On peut commencer les critiques :
que reproches tu à

Je répète : on veut une chaîne de formules dont le premier maillon est true et le dernier est la formule à prouver, ou inversement, telle que le passage d'une formule à une autre se fait par un connecteur approprié et soit trivial.