Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Scribd Logo
Importer

Bienvenue sur Scribd !

  • 250 vues

    1bex 01 Logique Ctr2Ar

    Transféré par

    khalifa El harfi
    Le document présente plusieurs exercices de logique et de démonstration mathématique portant sur des propositions, leur véracité, leur négation et leur démonstration.

    Droits d'auteur :

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

    1bex 01 Logique Ctr2Ar

    Transféré par

    khalifa El harfi
    250 vues1 page
    Le document présente plusieurs exercices de logique et de démonstration mathématique portant sur des propositions, leur véracité, leur négation et leur démonstration.

    Titre original

    1Bex_01_Logique_Ctr2Ar

    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é ?

    Le document présente plusieurs exercices de logique et de démonstration mathématique portant sur des propositions, leur véracité, leur négation et leur démonstration.

    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
    250 vues1 page

    1bex 01 Logique Ctr2Ar

    Transféré par

    khalifa El harfi
    Le document présente plusieurs exercices de logique et de démonstration mathématique portant sur des propositions, leur véracité, leur négation et leur démonstration.

    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 1

    1ère Bac 16/10/2013 Contrôle n°: 2-Fr Page : 1/1

    Exercice .1 maths-inter.ma

    Ecrire les propositions suivantes en utilisant des symboles logiques convenables :

    1) (P) : « Pour tout entier naturel n, il existe un nombre réel t tel que la racine carrée de n est égale à t »
    2) (Q) : « Pour tous nombres réel x et y , il existe un entier naturel p , tel que la somme des carrés de x
    et de y est égale au cube du nombre p »
    3) (R) : « le système formé par les deux équations 3x  2y  5 et x  y  -3 admet au moins une solutions
    dans IR 2 »

    Exercice .2 maths-inter.ma 6 pts

    Déterminer, en justifiant la réponse, la valeur de vérité de chacune des propositions suivantes :

    1) (P) : " 3  5  2 2 ou 3 5 2 "


    2) (Q) : " x    ;  3 ;  x  4x  5  0 "
    2

    3) (R) : " x  IR  ; x4  1  x  0 "


    4) (S) : " (a  IR )(x  IR ) ; a  3  x 2 "

    Exercice .3 maths-inter.ma 4 pts

    Déterminer la négation de chacune des propositions suivantes :

    1) (K) : " 5  2 2 ou 1  2  3  3 "


    2) (L) : " 2 17  69  sin  5  3 "
    3) (M) : " 5 137  17  ( sin   2 ou 22012  1  342567) "
    4) (N) : " (x  IR )(a  IR )(y  IR ) ; ay  3  ax  1 "

    Exercice .4 maths-inter.ma 7 pts

    1) Démontrer par l’absurde que la proposition suivante est fausse : (P) : 3 52 2
    2) Démontrer en utilisant un contre-exemple que la proposition suivante est fausse :
    (Q) : (x  IR ) ; x  x 2
    3) Démontrer en utilisant des équivalences succéssives que la proposition suivante est vraie :
    (R) : (x, y)  IR 2 ; 9x  4y  12 xy
    4) Démontrer en utilisant la contraposée que la proposition suivante est vraie :
    3 xy
    (S) : ( x, y)  IR 2 ; ( y   x)  (  7)
    4 xy
    5) Démontrer en utilisant le raisonnement par récurrence que :
    6) Le nombre 7 n  2n est divisible par 5 pour rtout entier naturel n.

    Bonne Chance

    http://www.maths-inter.ma/ 02/09/2018 Réalisé par : Ammari Simo Ex-Inspecteur Principal de maths ammari1042@gmail.com 06 49 11 33 23

    Vous aimerez peut-être aussi