« Introduction aux mathématiques/Rudiments de logique » : différence entre les versions
Contenu supprimé Contenu ajouté
m Robot : Remplacement de texte automatisé (-\s*\|\s*leçon\s*=\s*\[\[\.\.\/\]\] +) |
m Retrait des catégories en double |
||
Ligne 148 :
* <math>\text{non}(\exists x\in E / P(x)) \Leftrightarrow (\forall x\in E, \text{non}\, P(x))</math>
* <math> \text{non}(\forall x\in E, P(x))\Leftrightarrow (\exists x\in E / \text{non}\, P(x))</math>
|