« Approfondissements de lycée/Logique » : différence entre les versions
Contenu supprimé Contenu ajouté
Ligne 1 275 :
peut être exprimée symboliquement par :
:<math>(\exist x)(x\mbox{ est impair} \Rightarrow x^2\mbox{ est impair})</math>
:ou encore: <math>\exist x\ /\ x\mbox{ est impair} \Rightarrow x^2\mbox{ est impair}</math>
Cette proposition est fausse.
Ligne 1 283 :
peut être exprimée symboliquement par :
:<math>(\forall x)(\exist y)(z = 1)</math>
:ou encore: <math>\forall x, \exist y\ /\ z = 1</math>
Cette proposition est vraie.
On notera aussi l'utilisation de "<math>\exist !</math>", signifiant: ''il existe un unique''.
====Négation====
| |||