📝 Exercices de la série

Exercice 3

  1. Donner la valeur de vérité et la négation de chacun des propositions suivantes
  • "xR   :  x2+1=2\forall x\in\R ~~~ : ~~x^2+1=2"
  • "nN   :  2n\exists n\in\N ~~~ : ~~2n est pair et n2N\frac{n}{2}\notin\N"
  • "xR  nN   :  xn\exists x\in\R~~ \forall n\in\N ~~~ : ~~x\le n"
  • "xR  nN   :  xn\forall x\in\R~~ \exists n\in\N ~~~ : ~~x\le n"
  • "xR  x>0    x+1x>2\forall x\in\R~~ x>0 \implies x+\frac1x > 2"
  1. Ecrire à l'aide de quantificateurs les propositions suivantes :
  • Le carré de tout réel est positif
  • Certains réels sont strictement supérieurs à leur carré.
  • Fausse

    par exemple x=0x=0 ne convient pas

    La négation : "xR   :  x2+12\exists x\in\R ~~~ : ~~x^2+1\ne2"

  • Vraie

    La négation : "nN :2n\forall n\in\N ~ : 2n est impair et n2N\frac{n}{2}\in\N"

  • Vraie

    La négation : "xR  nN   :  x>n\forall x\in\R~~ \exists n\in\N ~~~ : ~~x>n"

  • Vraie

    La négation : "xR  nN   :  x>n\exists x\in\R~~ \forall n\in\N ~~~ : ~~x>n"

  • Vraie

    La négation : "xR  x>0 et x+1x2\forall x\in\R~~ x>0 ~et~ x+\frac1x \le 2"

    • "(xR) : x20(\forall x\in\R) ~:~x^2\ge0"
    • "xR : x>x2\exists x\in\R ~:~x>x^2"