Portail:Logique/Symboles

Voici une liste des principaux symboles logiques. Ils permettent de formaliser les expressions, calculs et démonstrations.

Pour apprendre à les écrire dans Wikipédia, voir l'aide sur les formules TeX.

Symbole	Signification
$\mathrm{\neg }A$	Négation de A
$A\to B$	Implication. Si A alors B
$A\wedge B$	Conjonction. A et B.
$A\vee B$	Disjonction (inclusive). A ou B.
$A\leftrightarrow B$	Équivalence. A est équivalent B ; on dit aussi : A si et seulement si B.
$\mathrm{\Gamma }⊢A$	Déduction. De l'ensemble de formules $\mathrm{\Gamma }$ on déduit A.
$M\models A$	Modélisation. M est un modèle de A ; on dit aussi A est vraie dans M.
$⊢A$	Théorème. Notion syntaxique
$\models A$	Tautologie. Notion sémantique
$M⊩A$	Réalisabilité. M réalise A, on dit aussi que M « force » A.