Dans les langages formels de la logique classique, des expressions peuvent être construites au moyen de la négation (¬) ou de connecteurs tels que la disjonction (∨), la conjonction (∧), l'implication (⇒) et l'équivalence (⇔). La sémantique de telles expressions est définie par les tables de vérité ci-dessous. Dans ce billet, nous présentons un autre … Lire la suite de Disjonction exclusive