Symboles courants

Un article de Sémanticlopédie.

Sommaire

1 Symboles logiques 1.1 Négation 1.2 Connecteurs 1.3 Symboles de quantification 1.4 Opérateurs modaux 1.5 Métasymboles 2 Théorie des ensembles 2.1 Relations 2.2 Opérations 2.3 Divers 3 Algèbre

Symboles logiques

Négation

• ¬p, ∼p,

Connecteurs

• conjonction : ∧, &,

• disjonction : ∨,

• implication matérielle : →, ⇒, ⊃,

• équivalence matérielle : ↔, ⇔, ⇌, ≡,

• disjonction exclusive : , ⊻, ∞, +, ⊕, ≢ , ▽ (autrement dit, il n'y a quasiment pas de consensus)

Symboles de quantification

• Quantification universelle : ∀,

• Quantification existentielle : ∃,

Opérateurs modaux

• nécessité :

• possibilité : ◊

• nécessité déontique (obligation) : O

• possibilité déontique (permission) : P

Métasymboles

• preuve, déduction formelle (aka « thèse ») :

• conséquence logique, satisfaction :

• équivalence logique : parfois ⇔ ou ≡ (à condition que ↔ soit l'équivalence matérielle)

Théorie des ensembles

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

Relations

• appartenance : ∈

• inclusion : ⊂

• inclusion ou égalité : ⊆

• inclusion stricte : ⊊

• disjonction : ??

Opérations

• intersection : ∩

• union : ∪

• différence : − ou \

• complémentaire (de A dans E): ou

• produit cartésien : ×

• ensemble des parties (aka « powerset ») : ℘ ou

Divers

• ensemble vide : ∅ ou

Algèbre