Symboles logiques en LATEX

Yves Bouchard
Université de Sherbrooke
yves.bouchard@usherbrooke.ca

15 avril 2022

Table 1 – Logique classique

Symbole LATEX Description Module
\neg négation amssymb
 \tneg négation ybsymb
^ \wedge conjonction amssymb
_ \vee disjonction inclusive amssymb
Y \veebar disjonction exclusive amssymb
 \supset implication matérielle, conditionnel amssymb
 \equiv équivalence, biconditionnel amssymb
| \mid incompatibilité, barre de Sheffer amssymb
Ó \downarrow rejet, flèche de Peirce amssymb
@ \forall quantificateur universel amssymb
D \exists quantificateur existentiel amssymb
ι \riota description définie ybsymb
J \top constante de vérité, tautologie amssymb
K \bot constante de fausseté, contradiction amssymb
N \curlywedge constante de fausseté, contradiction amssymb
$ \vdash théorème, conséquence, dérivation amssymb
( \vDash tautologie, inférence amssymb
|ù \models tautologie, inférence, modèle amssymb
& \nvdash négation de théorème, conséquence, dérivation amssymb
* \nvDash négation de tautologie, inférence amssymb
{|ù \nmodels négation de tautologie, inférence, modèle amssymb
v \lsemantic crochet sémantique d’ouverture mathabx
w \rsemantic crochet sémantique de fermeture mathabx
f \oasterisk nœud itérable d’arbre de consistance mathabx
b \otimes branche contradictoire d’arbre de consistance mathabx
 \coloneq affectation, assignation mathabx

déf
\egdef égalité par définition ybsymb

Table 2 – Logique modale

Symbole LATEX Description Module
 \nec nécessité ybsymb
♦ \pos possibilité ybsymb
J \strictif implication stricte ybsymb
L \strictiff équivalence stricte ybsymb
 \consistent consistance ybsymb
€ \boxright implication contrefactuelle ybsymb
„ \diamondright implication contrefactuelle ybsymb
\cimp implication contrefactuelle ybsymb
, \Vdash vérité dans un modèle amssymb
. \nVdash négation de vérité dans un modèle amssymb
 Table 3 – Logique non monotone
Symbole LATEX Description Module
|„ \nmvdash conséquence non monotone ybsymb
|« \nmvDash inférence non monotone ybsymb
{|„ \nnmvdash négation de conséquence non monotone ybsymb
{|« \nnmvDash négation d’inférence non monotone ybsymb

Table 4 – Logique classique et modale en Unicode (UTF-8)

Symbole UTF-8 (h) Entité
¬ ¬
„ ∼ ∼
^ ∧ ∧
_ ∨ ∨
Y ⊻
Ą ⊃ ⊃
” ≡ ≡
| ∣
Ó ↓ ↓
@ ∀ ∀
D ∃ ∃
 ◻
♦ ◇
J ⥽
$ ⊢
( ⊨
& ⊬
* ⊭
Description
négation
négation
conjonction
disjonction inclusive
disjonction exclusive
implication matérielle, conditionnel
biconditionnel, équivalence
incompatibilité, barre de Sheffer
rejet, flèche de Peirce
quantificateur universel
quantificateur existentiel
nécessité
possibilité
implication stricte
théorème, conséquence, dérivation
tautologie, inférence
négation de théorème, conséquence, dérivation
négation de tautologie, inférence