Livre "logique fondements et applications".
Bonjour, dans le livre en objet, il est écrit en définition 1.1: "on appelle variable propositionnelle, ou proposition, un symbole qui représente n'importe quelle phrase." Il me semble que ce n'est pas correct, les propositions devant, ce me semble , être des phrases particulières (on peut leur affecter une valeur de vérité.) Qu'en pensez-vous?
Bonne soirée.
Jean-Louis.
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Cette appellation m'a toujours agacé car le mot "variable" est déjà réservé en logique et que du coup, il m'arrive rapidement de penser que par "variable propositionelle" on entend "variable relationnelle d'arité 0"