Variable Propositionnelle

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Un symbole syntaxique en logique propositionnelle qui désigne une proposition atomique et auquel on peut attribuer une valeur de vérité (vrai ou faux) dans une valuation donnée.