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
Ou exclusif
Logique mathématique et enquête de police
"De deux choses l'une : soit le malfaiteur est venu en voiture, soit le témoin s'est trompé. Si le malfaiteur avait un complice, alors il est venu en voiture. Le malfaiteur n'avait pas de complice et il n'avait pas de clef de l’appartement, ou le malfaiteur avait un complice et il avait la clef de … Lire la suite de Logique mathématique et enquête de police
Formalis Mathematica 