« Introduction aux mathématiques/Rudiments de logique » : différence entre les versions
Contenu supprimé Contenu ajouté
Aucun résumé des modifications |
m →Prédicats, quantificateurs : retrait crochet |
||
Ligne 124 :
==Prédicats, quantificateurs==
{{Définition|titre=Définition : prédicat|contenu=
Soit ''E'' un ensemble
Exemple :
Ligne 142 :
* <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>
=Notion d'ensemble=
|