SémanticlopédieAccueil | À propos | Aide | FAQ | Pages spéciales | Identification
Dictionnaire de sémantique
Catégories de la page: Glossaires
Version imprimable | Avertissements

Symboles courants

Un article de Sémanticlopédie.


Sommaire

Symboles logiques

Négation

  • ¬p, ∼p, \overline{p}

Connecteurs

  • conjonction : , &,
  • disjonction : ,
  • implication matérielle : , , ,
  • équivalence matérielle : , , ⇌, ,
  • disjonction exclusive : \vee\!\!\vee, ⊻, , +, , ≢ , ▽ (autrement dit, il n'y a quasiment pas de consensus)

Symboles de quantification

  • Quantification universelle : , \bigwedge
  • Quantification existentielle : , \bigvee

Opérateurs modaux

  • nécessité : \Box
  • possibilité :
  • nécessité déontique (obligation) : O
  • possibilité déontique (permission) : P

Métasymboles

  • preuve, déduction formelle (aka « thèse ») : \vdash
  • conséquence logique, satisfaction : \models
  • é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): \complement_E A ou \overline{A}
  • produit cartésien : ×
  • ensemble des parties (aka « powerset ») : ou \mathcal{P}

Divers

  • ensemble vide : ou \varnothing

Algèbre


Rechercher
Naviguer
Accueil
Communauté
Actualités
Modifications récentes
Une page au hasard
Aide
Contenu : Notions | Outils | Théories | Glossaires
Éditer
Modifier cette page
Aide
Page d'option
Page de discussion
Ajouter un commentaire
Version imprimable
Page d'information
Comment citer cet article
Historique de la page
Pages liées
Suivi des liens
Mes options
Identification
Pages spéciales
Nouvelles pages
Liste des images
Statistiques
Rapport d'erreurs
Et plus...