Dans les langages formels de la logique classique, des expressions peuvent être construites au moyen de la négation ($latex \neg$) ou de connecteurs tels que la disjonction ($latex \vee$), la conjonction ($latex \wedge$), l'implication ($latex \Rightarrow$) et l'équivalence ($latex \Leftrightarrow$). La sémantique de telles expressions est définie par les tables de vérités ci-dessous. Dans ce … Lire la suite de Disjonction exclusive