Scribd Logo
Importer

Bienvenue sur Scribd !

  • 49 vues

    TD1 Algebre - 17 18

    Transféré par

    Moha Midou
    Le document présente une liste d'exercices de logique propositionnelle comprenant l'évaluation de formules logiques, la simplification d'expressions, des équivalences et implications entre assertions, et la vérification de propriétés pour des fonctions et nombres.

    Droits d'auteur :

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

    TD1 Algebre - 17 18

    Transféré par

    Moha Midou
    49 vues1 page
    Le document présente une liste d'exercices de logique propositionnelle comprenant l'évaluation de formules logiques, la simplification d'expressions, des équivalences et implications entre assertions, et la vérification de propriétés pour des fonctions et nombres.

    Description originale:

    TD1-Algebre_17-18

    Titre original

    TD1-Algebre_17-18

    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 une liste d'exercices de logique propositionnelle comprenant l'évaluation de formules logiques, la simplification d'expressions, des équivalences et implications entre assertions, et la vérification de propriétés pour des fonctions et nombres.

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

    TD1 Algebre - 17 18

    Transféré par

    Moha Midou
    Le document présente une liste d'exercices de logique propositionnelle comprenant l'évaluation de formules logiques, la simplification d'expressions, des équivalences et implications entre assertions, et la vérification de propriétés pour des fonctions et nombres.

    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

    Département de Mathématiques

    Faculté des Sciences


    Université Aboubekr Belkaid-Tlemcen

    Année Universitaire 2017/2018


    Liste 1 de TD d’Algèbre MI
    Chapitre 1: Partie1: Logique propositonnelle

    Exercice 1. On dit que "P ou exclusif Q" est vrai si P ou Q est vrai mais

    pas simultanément P et Q. Ecrire la table de vérité du "ou exclusif".

    Exercice 2. Evaluer (donner la valeur de vérité) les formules suivantes en


    considérant uniquement les valeurs des variables données:
    Q ) (P ) R) (Q f ausse), P et (P ou Q) (Q vraie), P ou (Q ) R) (Q
    f ausse):

    Exercice 3. Simpli…er l’expression: (P et Q) ou (P et Q) ou (P et Q):


    L’assertion A est la négation de l’assertion A:

    Exercice 4. Soient n et m deux entiers naturels.

    1. Donner un équivalent de (n < m) ) (n = m):


    2. Donner la négation de (n m) ) (n > m):

    Exercice 5. Dire si c’est vrai ou faux: (x 2 R)


    1- x > 5 ) x > 3:
    2- x3 = 1 , x = 1:
    3- x2 = 9 , x = 3:
    4- x = 0 ) x 0:
    5- z 2 C ) jzj = 1:

    Exercice 6. Soit f : R ! R une fonction continue. On considère les


    assertions suivantes:
    P : 8x 2 R, f (x) = 0, Q : 9x 2 R, f (x) = 0 et R : (8x 2 R, f (x) > 0) ou
    (8x 2 R, f (x) < 0):
    Parmi les implications suivantes lesquelles sont vraies?

    1. P ) Q
    2. Q ) P
    3. Q ) R
    4. R ) Q
    5. Q ) P

    Vous aimerez peut-être aussi