Forum de Mathématiques: Maths-Forum

Bonjour, J'étais content de voir 18 réponses, jusqu'à ce que je m'aperçoive que c'était juste une dispute entre hdci et Ben314 qui n'a rien à voir avec le sujet. On a tort de chercher à avoir raison en mathématique, parce que la vérité n'y est que relative, relative à un système. Vos messages m'ont ...

Tout d'abord merci de vos réponses. Bonjour hdci, je suis d'accord avec toi sur le fait qu'en mathématique une lettre peut être considérée indifféremment comme une variable, par exemple dans : a = b a et b sont deux variables libres, qu'on peut remplacer par : x = y. Il existe en logique formelle de...

Bonjour, J'aurais besoin d'aide pour un problème entre le statut de variable ou de constante en logique mathématique. Ci-dessous, un évaluateur évalue la formule : Px \Rightarrow \exists yPy 1.\ \neg(Px\Rightarrow\exists yPy)\\ 2. \ Px\quad (1)\\ 3.\ \neg\exists yPy\quad (1)\...