Devoirs surveille n°1 - Notions de logique

جدول المحتويات
    Mathématiques - Exercices de Logique
    Royaume du Maroc Ministère de l'Éducation
    Académie Régionale

    Mathématiques

    Devoirs n°1

    Automne 2025-2026

    Niveau 1ère Bac Exp
    Durée 2 Heures
    Coeff 7
    Nom et Prénom:
    Numéro:

    Exercice 1 : Quantificateurs et Négation

    3 pts
    1. Déterminer la valeur de vérité des propositions suivantes :
      a) \(P_1 : (\exists x \in \mathbb{R}) : x^2 + x + 1 = 0\)
      b) \(P_2 : (\forall n \in \mathbb{N}) : \sqrt{n} \in \mathbb{N}\)
    2. Donner la négation des propositions suivantes :
      a) \(Q_1 : (\forall x \in \mathbb{R}) (\exists y \in \mathbb{R}) : x \leq y\)
      b) \(Q_2 : (\forall x \in \mathbb{R}^*) : x > 0 \implies \frac{1}{x} > 0\)

    Exercice 2 : Raisonnement par Contre-exemple

    3 pts
    1. Montrer que la proposition est fausse :
      \((\forall x \in \mathbb{R}) (\forall y \in \mathbb{R}) : x^2 = y^2 \implies x = y\)
    2. Montrer par contraposée :
      \(x \neq y \implies \sqrt{x+1} \neq \sqrt{y+1}\)

    Exercice 3 : Disjonction des Cas

    3 pts
    1. Résoudre : \(|2x - 4| = |x + 1|\)
    2. Montrer que \(n(n+1)\) est toujours pair

    Exercice 4 : Raisonnement par l'Absurde

    3 pts

    Montrer par l'absurde : \(\forall x \in \mathbb{R}, \frac{x^2+2}{x^2+1} \neq 2\)

    Exercice 5 : Équivalences Successives

    4 pts

    Montrer que : \(\frac{a+b}{2} \geq \sqrt{ab}\) pour \(a \geq 0, b \geq 0\)

    Exercice 6 : Raisonnement par Récurrence

    4 pts
    1. Montrer : \(1 + 2 + 3 + ... + n = \frac{n(n+1)}{2}\)
    2. Montrer : \(3^{2n} - 1\) est divisible par \(8\)