Scribd Logo
Importer

Bienvenue sur Scribd !

  • 364 vues

    TD #1 (2023-2024 Logique) .Aux

    Transféré par

    Ghof SARA

    Droits d'auteur :

    © All Rights Reserved
    Téléchargez comme PDF, TXT ou lisez en ligne sur Scribd

    TD #1 (2023-2024 Logique) .Aux

    Transféré par

    Ghof SARA
    364 vues2 pages

    Titre original

    TD N° 1 (2023-2024 logique ).aux

    Copyright

    © © All Rights Reserved

    Formats disponibles

    PDF, TXT ou lisez en ligne sur Scribd

    Avez-vous trouvé ce document utile ?

    Ce contenu est-il inapproprié ?

    Droits d'auteur :

    © All Rights Reserved
    Téléchargez comme PDF, TXT ou lisez en ligne sur Scribd
    Télécharger au format pdf ou txt
    364 vues2 pages

    TD #1 (2023-2024 Logique) .Aux

    Transféré par

    Ghof SARA

    Droits d'auteur :

    © All Rights Reserved
    Téléchargez comme PDF, TXT ou lisez en ligne sur Scribd
    Télécharger au format pdf ou txt
    sur 2

    Mathématiques : Série N° 1 LYCÉE

    MOHAMMED VI
    AP EE
    Association pour la Promotion (Éléments de logique)
    de l’Enseignement d’Excellence Niveau : 1ère Sc exp / STE/STM D’EXCELLENCE
    Année scolaire 2023/2024 Benguerir

    Exercice 1

    Écrire les propositions suivantes en utilisant les quantificateurs et les connecteurs logiques , et dé-
    terminer leurs valeurs de vérités
    1) L’inverse d’un nombre réel quelconque non nul est toujours compris entre −1 et 1
    2) Pour tout nombre réel il existe au moins un entier relatif qui le dépasse
    1) L’équation 6x2 − 5x + 1 admet au mois une solution dans l’ensemble Z
    1
    5) L’équation cos(x) = admet une solution unique dans l’intervalle [0; π ]
    2
    4) L’équation x = 2 n’admet pas de solution dans N
    2

    6) Si un nombre relatif est divisible par 6 alors il est divisible par 3

    Exercice 2

    Donner la négation des propositions suivantes


    P : (∃x ∈ R) : x2 = 1 et x2 − 2x = 0
    Q : (∃x ∈ R) : x2 = 1 et (∃x ∈ R) : x2 − 2x = 0
    R : (∀x ∈ R)(∃m ∈ Z) : m ≤ x < m + 1
    T : (∀x ∈ R)(∃m ∈ Z) : x2 = m ou x2 = −m

    Exercice 3

    Montrer les implications suivantes


    ( a+b )
    1) (∀(a, b) ∈ R2 ) a ≤ b ⇒ a ≤ ≤b
    2
    √
    2) (∀a ∈ [1, +∞[) a ̸= 3 ⇒ a − a − 1 − 1 ̸= 0

    Exercice 4

    Les questions suivantes sont indépendantes


    1) Soient x et y deux nombres reels de [1, +∞[ tels que a ̸= b montrer par l’absurde que ab ̸= 1
    √
    2) Montrer par l’absurde que 2 ∈ /Q
    3x + 1
    3) Montrer que (∀x ∈ R − {1}) : ̸= 3
    x−1
    4) Montrer que (∀a ∈ R)(∀b ∈ R) : a2 − 2a = b2 − 2b ⇔ a = 2 − b

    1ère Sc exp / STE/STM 1 2023/2024


    Exercice 5

    1) Résoudre dans R l’équation |3x − 4| + |x + 3| − 3x − 1 = 0


    2) Montrer par disjonction des cas que (∀n ∈ N) : (n − 1)(n)(n + 1) est divisible par 3
    1
    3) Soit x ∈ R montrer par disjonction des cas que x > 0 ⇒ x + > 1
    x

    Exercice 6

    Montrer par récurrence que


    n(n + 1)(2n + 1)
    1) Montrer que : (∀n ∈ N∗ ) 1 + 2 + 3 + ... + n =
    6

    2) Montrer que :(∀n ∈ N∗ ) 13 + 33 + 53 + ... + (2n − 1)3 = n2 (2n2 − 1)


    3) Montrer que :(∀n ∈ N) 3n ≥ 1 + 2n
    4n+1 − 1
    4) Montrer que :(∀n ∈ N) 1 + 4 + 16 + ... + 22n =
    3
    5) Montrer par récurrence que (∀n ∈ N) 3 + 7
    2n 2n+1 est divisible par 8

    Exercice 7

    Résoudre dans R
    √
    1) : x + 1 − x + 3 = 0
    √
    2) : 2x2 + x − x − 1 = 0
    √
    3) : x + 1 − x + 2 < 0

    1ère Sc exp / STE/STM 2 2023/2024

    Vous aimerez peut-être aussi