« Introduction aux mathématiques/Rudiments de logique » : différence entre les versions

Contenu supprimé Contenu ajouté
Sharayanan (discussion | contributions)
m déplacement dans les chapitres suivants
Sharayanan (discussion | contributions)
m Ajout rapide de la catégorie Catégorie:Introduction aux mathématiques (avec HotCats)
Ligne 138 :
* <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>
 
[[Catégorie:Introduction aux mathématiques]]