Symboles courants

Symboles logiques

Négation

• <math>\neg p</math>, <math>\sim p</math>, <math>\overline{p}</math>

Connecteurs

• conjonction : <math>\wedge</math>, &,

• disjonction : <math>\vee</math>,

• implication matérielle : <math>\rightarrow</math>, <math>\Rightarrow</math>, <math>\supset</math>,

• équivalence matérielle : <math>\leftrightarrow</math>, <math>\Leftrightarrow</math>, ⇌, <math>\equiv</math>,

• disjonction exclusive : <math>\vee\!\!\vee</math>, ⊻, <math>\infty</math>, <math>\oplus</math>, <math>\not\equiv</math>, ▽ (autrement dit, il n'y a quasiment pas de consensus)

Symboles de quantification

• Quantification universelle : <math>\forall</math>, <math>\bigwedge</math>

• Quantification existentielle : <math>\exists</math>, <math>\bigvee</math>

Opérateurs modaux

• nécessité : <math>\Box</math>

• possibilité : <math>\Diamond</math>

• nécessité déontique (obligation) : <math>O</math>

• possibilité déontique (permission) : <math>P</math>

Métasymboles

• preuve, déduction formelle (aka « thèse ») : <math>\vdash</math>

• conséquence logique, satisfaction : <math>\models</math>

• équivalence logique : parfois <math>\Leftrightarrow</math> ou <math>\equiv</math> (à condition que <math>\leftrightarrow</math> soit l'équivalence matérielle)

Théorie des ensembles

Les symboles « mirroirs » des suivants correspondent à la relation réciproque.

Relations

• appartenance : <math>\in</math>

• inclusion : <math>\subset</math>

• inclusion ou égalité : <math>\subseteq</math>

• inclusion stricte : <math>\subsetneq</math>

• disjonction : ??

Opérations

• intersection : <math>\cap</math>

• union : <math>\cup</math>

• différence : <math>-</math> ou <math>\setminus</math>

• complémentaire (de <math>A</math> dans <math>E</math>): <math>\complement_E A</math> ou <math>\overline{A}</math>

• produit cartésien : <math>\times</math>

• ensemble des parties (aka « powerset ») : <math>\wp</math> ou <math>\mathcal{P}</math>

Divers

• ensemble vide : <math>\emptyset</math> ou <math>\varnothing</math>