PROBLEME DE VARIABLE OU DE CONSTANTE (LOGIQUE)

[Ben314]

A force de chercher (pour avoir la réponse à la question à laquelle tu n'a pas répondu concernant les "conventions/notations" de ton truc), je pense avoir trouvé à quoi ça correspond : Style de Fitch pour la déduction naturelle. A toi de confirmer / infirmer qu'il s'agit bien de ça.
Qui représente une des façons (mais pas la plus fréquente) de présenter les déductions dans le système formel appellé "déduction naturelle".
Et si tu regarde dans l'article la La règle d'introduction du quantificateur universel, ça donne bien l'impression que la fonction propositionnelle P(x) [avec x une variable libre] peut, éventuellement, posséder une valeur de vérité (et qu'en fait si elle en a une qui est vrai, ça signifie justement que est vraie).

Et comme ce type de notation m'est peu familier, je suis allé ressortir le "Model Théorie" de Chang & Keisler qui m'avait servi de base quand je m'était un peu intéressé à la question (*) dans lequel on trouve page 25 :
1.3.9 Rule of généralization : From infer
qui va aussi dans le sens qu'une formule non close peut (éventuellement) posséder une valeur de vérité.

Enfin, bref, je ne saurait que te (re)conseiller de bien faire attention au "cadre" dans lequel tu travaille : En logique, même en précisant "logique formelle du premier ordre", il y a plusieurs écoles avec des notations/conventions différentes [par exemple les intuitionnistes pour ne citer que la plus connue des "non classiques"]

(*) Sauf que ce qui m’intéressait à l'époque, c'était surtout les différentes constructions de modèles non standards donc j'avais pas passé des lustres sur les définitions de base...

[hdci]

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.

Bonojour Leadra,

J'en suis désolé. Pour alléger le post je vide l'ensemble des messages qui n'ont rien à voir avec votre demande.