variable propositionnelle

variable propositionnelle

Symbole qui désigne une proposition dans le calcul propositionnel.

On utilise généralement des lettres majuscules telles que P, Q, R, S, …, pour désigner une variable propositionnelle.

Exemple

Dans la proposition composée (P ∧ Q) → R, les lettres P, Q et R représentent des variables propositionnelles.