Scribd Logo
Upload

Welcome to Scribd!

  • TD1 Ex3+Sup

    Uploaded by

    Mansour Kazan
    6 views1 page
    This document contains 4 logic proofs: 1. It proves that (P => (Q => R)) implies ((P ^ Q) => R). 2. It proves that [(P V Q) ^ ~(P ^ Q)] implies P is always false. 3. It proves that [(P => Q) ^ (P => R)] implies [P => (Q ^ R)]. 4. It proves that [P => Q] implies [(R => Q) => ((P V R) => Q)] is a tautology.

    Original Description:

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    This document contains 4 logic proofs: 1. It proves that (P => (Q => R)) implies ((P ^ Q) => R). 2. It proves that [(P V Q) ^ ~(P ^ Q)] implies P is always false. 3. It proves that [(P => Q) ^ (P => R)] implies [P => (Q ^ R)]. 4. It proves that [P => Q] implies [(R => Q) => ((P V R) => Q)] is a tautology.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    6 views1 page

    TD1 Ex3+Sup

    Uploaded by

    Mansour Kazan
    This document contains 4 logic proofs: 1. It proves that (P => (Q => R)) implies ((P ^ Q) => R). 2. It proves that [(P V Q) ^ ~(P ^ Q)] implies P is always false. 3. It proves that [(P => Q) ^ (P => R)] implies [P => (Q ^ R)]. 4. It proves that [P => Q] implies [(R => Q) => ((P V R) => Q)] is a tautology.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    of 1

    TD1

    Exercice 3 + Supp
    1.

    [P => (Q => R)]  [(P ^ Q) => R]

    [P => (Q => R)]  P => (Ꞁ Q V R)

     Ꞁ P V (Ꞁ Q V R)

     (Ꞁ P V Ꞁ Q) V R

     Ꞁ (P ^ Q) V R

     (P ^ Q) => R

    [( P V Q ) ^ Ꞁ (ꞀP ^ Q)] P

    [( P V Q ) ^ Ꞁ (ꞀP ^ Q)]  [(P V Q) ^ (P V ꞀQ)

     P V (Q ^ ꞀQ)  P

    Toujours Faux

    3.

    [(P => Q) ^ (P => R)]  [P => (Q^ R)]

    [(P => Q) ^ (P => R)]  (ꞀP V Q) ^ (ꞀP V R)

     ꞀP V (Q^ R)  P => (Q^ R)

    4.

    [P => Q] => [(R=> Q) => ((P V R) => Q)]

     [ꞀP V Q] => [(ꞀR V Q) => (Ꞁ (P V R) V Q)]

     [ꞀP V Q] => [Ꞁ (ꞀR V Q) V (Ꞁ (P V R) V Q)]

     Ꞁ (ꞀP V Q) V [Ꞁ (ꞀR V Q) V (Ꞁ (P V R) V Q)]

     [(P ^ ꞀQ) V (R ^ ꞀQ)] V [Ꞁ (P V R) V Q]

    Morgan

     [ꞀQ ^ (P V R)] V Ꞁ [ꞀQ ^ (P V R)] Posons A = ꞀQ ^ (P V R)

     A V Ꞁ A Est une tautologie .

    You might also like