« Approfondissements de lycée/Logique » : différence entre les versions

Contenu supprimé Contenu ajouté
Ligne 1 274 :
:''Il existe des entiers impairs ''x'', tels que x<sup>2</sup> est pair.''
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 281 ⟶ 1 282 :
:''Pour toute valeur de ''x'', il existe une valeur pour ''y'', tel que z = 1.
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.