Scribd Logo
Importer

Bienvenue sur Scribd !

  • 22 vues

    Form Logique

    Transféré par

    dawoud.kenzari
    Ce document traite de la logique et des raisonnements, notamment des quantificateurs universel et existentiel, des tables de vérité, des implications, équivalences et modes de raisonnement comme le raisonnement direct, par cas, contraposée, absurde ou récurrence.

    Droits d'auteur :

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

    Form Logique

    Transféré par

    dawoud.kenzari
    22 vues1 page
    Ce document traite de la logique et des raisonnements, notamment des quantificateurs universel et existentiel, des tables de vérité, des implications, équivalences et modes de raisonnement comme le raisonnement direct, par cas, contraposée, absurde ou récurrence.

    Titre original

    form-logique

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

    Ce document traite de la logique et des raisonnements, notamment des quantificateurs universel et existentiel, des tables de vérité, des implications, équivalences et modes de raisonnement comme le raisonnement direct, par cas, contraposée, absurde ou récurrence.

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

    Form Logique

    Transféré par

    dawoud.kenzari
    Ce document traite de la logique et des raisonnements, notamment des quantificateurs universel et existentiel, des tables de vérité, des implications, équivalences et modes de raisonnement comme le raisonnement direct, par cas, contraposée, absurde ou récurrence.

    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

    Logique et raisonnements

    1. Logique Le quantificateur ∀ : « pour tout »


    L’assertion
    Une assertion est une phrase soit vraie, soit fausse, pas les deux en même
    ∀x ∈ E P(x)
    temps.
    Et logique. L’assertion « P et Q » est vraie si P est vraie et Q est vraie. est une assertion vraie lorsque les assertions P(x) sont vraies pour tous les
    L’assertion « P et Q » est fausse sinon. éléments x de l’ensemble E.
    Sa table de vérité : Le quantificateur ∃ : « il existe »
    P \Q V F L’assertion
    ∃x ∈ E P(x)
    V V F
    F F F est une assertion vraie lorsque l’on peut trouver au moins un x de E pour
    Table de vérité de « P et Q » lequel P(x) est vraie.
    La négation des quantificateurs
    Ou logique. L’assertion « P ou Q » est vraie si l’une (au moins) des deux
    assertions P ou Q est vraie. L’assertion « P ou Q » est fausse si les deux
    assertions P et Q sont fausses. La négation de « ∀x ∈ E P(x) » est « ∃x ∈ E non P(x) » .

    P \Q V F
    La négation de « ∃x ∈ E P(x) » est « ∀x ∈ E non P(x) ».
    V V V
    F V F
    Table de vérité de « P ou Q » L’ordre des quantificateurs est très important.

    L’assertion « non P » est vraie si P est fausse, et fausse si P est vraie.


    2. Raisonnements
    P V F
    Raisonnement direct
    non P F V
    On veut montrer que l’assertion « P =⇒ Q » est vraie. On suppose que P
    Table de vérité de « non P »
    est vraie et on montre qu’alors Q est vraie. C’est la méthode à laquelle vous
    L’implication =⇒ êtes le plus habitué.
    La définition mathématique est la suivante : Cas par cas
    Si l’on souhaite vérifier une assertion P(x) pour tous les x dans un ensemble
    L’assertion « (non P) ou Q » est notée « P =⇒ Q ». E, on montre l’assertion pour les x dans une partie A de E, puis pour les x
    n’appartenant pas à A. C’est la méthode de disjonction ou du cas par cas.
    P \Q V F Contraposée
    V V F Le raisonnement par contraposition est basé sur l’équivalence suivante :
    F V V
    Table de vérité de « P =⇒ Q » L’assertion « P =⇒ Q » est équivalente à « non(Q) =⇒ non(P) ».

    L’équivalence ⇐⇒
    Donc si l’on souhaite montrer l’assertion « P =⇒ Q », on montre en fait
    L’équivalence est définie par :
    que si non(Q) est vraie alors non(P) est vraie.
    « P ⇐⇒ Q » est l’assertion « (P =⇒ Q) et (Q =⇒ P) ». Absurde
    Le raisonnement par l’absurde pour montrer « P =⇒ Q » repose sur le
    P \Q V F principe suivant : on suppose à la fois que P est vraie et que Q est fausse et
    V V F on cherche une contradiction. Ainsi si P est vraie alors Q doit être vraie et
    F F V donc « P =⇒ Q » est vraie.
    Table de vérité de « P ⇐⇒ Q » Contre-exemple
    Si l’on veut montrer qu’une assertion du type « ∀x ∈ E P(x) » est fausse
    Proposition. Soient P, Q, R trois assertions. Nous avons les équivalences alors il suffit de trouver x ∈ E tel que P(x) soit fausse. Trouver un tel x
    (vraies) suivantes : c’est trouver un contre-exemple.
    1. P ⇐⇒ non(non(P)) Récurrence
    2. (P et Q) ⇐⇒ (Q et P) Le principe de récurrence permet de montrer qu’une assertion P(n), dé-
    pendant de n, est vraie pour tout n ∈ N. La démonstration se déroule en
    3. (P ou Q) ⇐⇒ (Q ou P)
    trois étapes :
    4. non(P et Q) ⇐⇒ (non P) ou (non Q) — initialisation : on prouve P(0).
    5. non(P ou Q) ⇐⇒ (non P) et (non Q) — hérédité : qui commence par « Je fixe n ⩾ 0 et je suppose que l’as-
    sertion P(n) vraie. je vais montrer que l’assertion P(n + 1) (au rang
    
    6. P et (Q ou R) ⇐⇒ (P et Q) ou (P et R)
     suivant) est vraie. . . »
    7. P ou (Q et R) ⇐⇒ (P ou Q) et (P ou R) — conclusion : par le principe de récurrence P(n) est vraie pour tout
    8. « P =⇒ Q » ⇐⇒ « non(Q) =⇒ non(P) » n ∈ N.

    Vous aimerez peut-être aussi