Portail:Logique/Aide

Un article de Wikipédia, l'encyclopédie libre.

Voici une liste de quelques symboles logiques avec leur syntaxe Wiki. Cette liste doit vous permettre de travailler par vous-même aux articles du portail.

Pour plus de détails voir la page suivante.

Symbole	Signification
	Négation de A
	Implication. Si A alors B
	Conjonction. A et B.
	Disjonction (inclusive). A ou B.
	Équivalence. A est équivalent B ; on dit aussi : A si et seulement si B.
	Déduction. De l'ensemble de formules Γ on déduit A.
	Modélisation. Un modèle pour l'ensemble de formules Γ est aussi un modèle pour A.
	Théorème.
	Tautologie.
	Réalisabilité. M réalise A, on dit aussi que M «force» A.