Une formule mathématique est une suite de signes. Elle ne devient vraie ou fausse qu'une fois placée dans un monde qui donne un sens à ces signes. Cette distinction entre ce qui relève de l'écriture et ce qui relève du sens — entre la syntaxe et la sémantique — n'est presque jamais énoncée dans l'enseignement … Lire la suite de Syntaxe et sémantique : ce qu’une formule dit, et ce qu’elle veut dire
Logique mathématique
Disjonction exclusive
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
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 