Définition 2Logique du premier ordre

Formules propositionnelles

Énoncé

On se donne une suite de lettres propositionnelles $P_0, P_1, \dots$ . Les formules propositionnelles forment le plus petit ensemble de mots contenant les lettres, et tel que, si $\varphi$ et $\psi$ en sont, alors $\neg\varphi$ et $\to \varphi\, \psi$ en sont aussi.

Remarque

On écrit les formules en notation préfixée, $\to \varphi\, \psi$ plutôt que $(\varphi \to \psi)$ , pour démontrer simplement la lecture unique ; l'écriture usuelle, avec parenthèses, n'en est qu'une abréviation lisible.

Repose sur

Connecteurs et tables de vérité

Sert à

Syntaxe du premier ordre