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
$\lnot A$	Négation de A
$A\to B$	Implication. Si A alors B
$A\land B$	Conjonction. A et B.
$A\lor B$	Disjonction (inclusive). A ou B.
$A\leftrightarrow B$	Équivalence. A est équivalent B ; on dit aussi : A si et seulement si B.
$\Gamma \vdash A$	Déduction. De l'ensemble de formules $\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.
$\vdash A$	Théorème. Notion syntaxique
$\models A$	Tautologie. Notion sémantique
$M\Vdash A$	Réalisabilité. M réalise A, on dit aussi que M « force » A.