Scribd Logo
Upload

Welcome to Scribd!

  • Logic ACt

    Uploaded by

    Teresa Navarrete
    46 views1 page
    The document identifies logical laws and proves an equivalence. It identifies the logical law applied in several propositional logic equivalences. It matches logical laws like commutative, De Morgan's, and implication laws to their definitions. It then proves the equivalence of ~[P V (~P Ʌ Q)] and ~P Ʌ ~Q through several logical steps applying identities like De Morgan's law and the commutative law.

    Original Description:

    LOGIC

    Copyright

    © © All Rights Reserved

    Available Formats

    DOCX, PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    The document identifies logical laws and proves an equivalence. It identifies the logical law applied in several propositional logic equivalences. It matches logical laws like commutative, De Morgan's, and implication laws to their definitions. It then proves the equivalence of ~[P V (~P Ʌ Q)] and ~P Ʌ ~Q through several logical steps applying identities like De Morgan's law and the commutative law.

    Copyright:

    © All Rights Reserved
    Download as DOCX, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as docx, pdf, or txt
    46 views1 page

    Logic ACt

    Uploaded by

    Teresa Navarrete
    The document identifies logical laws and proves an equivalence. It identifies the logical law applied in several propositional logic equivalences. It matches logical laws like commutative, De Morgan's, and implication laws to their definitions. It then proves the equivalence of ~[P V (~P Ʌ Q)] and ~P Ʌ ~Q through several logical steps applying identities like De Morgan's law and the commutative law.

    Copyright:

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

    I. Identify the law Applied in each of the following I.

    Identify the law Applied in each of the following


    equivalences. equivalences.
    a. P Ʌ Q ≡ Q Ʌ P a. P Ʌ Q ≡ Q Ʌ P
    b. P Ʌ (Q Ʌ R) ≡ ( P Ʌ Q) Ʌ R b. P Ʌ (Q Ʌ R) ≡ ( P Ʌ Q) Ʌ R
    c. ~(P V Q) ≡ ~P Ʌ ~Q c. ~(P V Q) ≡ ~P Ʌ ~Q
    d. (P Ʌ Q) V (P Ʌ Q) ≡ P Ʌ Q d. (P Ʌ Q) V (P Ʌ Q) ≡ P Ʌ Q
    e. [~(~P) V Q] ≡ P V Q e. [~(~P) V Q] ≡ P V Q
    f. (P Ʌ Q) Ʌ T ≡ P Ʌ Q f. (P Ʌ Q) Ʌ T ≡ P Ʌ Q

    II. Match column A to column B. II. Match column A to column B.


    1. P V T ≡ T a. Commutative Law 1. P V T ≡ T a. Commutative Law
    2. P V P ≡ P b. De Morgan’s Law 2. P V P ≡ P b. De Morgan’s Law
    3. P V Q ≡ Q V P c. Implication Law 3. P V Q ≡ Q V P c. Implication Law
    4. ~P V ~Q ≡ ~(P Ʌ Q) d. Negation Law 4. ~P V ~Q ≡ ~(P Ʌ Q) d. Negation Law
    5. (P → Q) ≡ ~P V Q e. Domination Law 5. (P → Q) ≡ ~P V Q e. Domination Law
    6. ~P Ʌ P ≡ F f. Identity Law 6. ~P Ʌ P ≡ F f. Identity Law
    7. (P Ʌ Q) V F ≡ P Ʌ Q g. Idempotent Law 7. (P Ʌ Q) V F ≡ P Ʌ Q g. Idempotent Law

    III. Prove that ~[P V (~P Ʌ Q)] ≡ ~P Ʌ ~Q III. Prove that ~[P V (~P Ʌ Q)] ≡ ~P Ʌ ~Q
    Proof: Proof:
    ~[P V (~P Ʌ Q)] ~[P V (~P Ʌ Q)]
    ≡ ~P Ʌ ~(~P Ʌ Q) _______(a)_______ ≡ ~P Ʌ ~(~P Ʌ Q) _______(a)_______
    ≡ ~ P [ ~(~P) V ~Q] _______(b)_______ ≡ ~ P [ ~(~P) V ~Q] _______(b)_______
    ≡ ~P Ʌ (P V ~Q) _______(c)_______ ≡ ~P Ʌ (P V ~Q) _______(c)_______
    ≡ (~P Ʌ P) V (~P Ʌ ~Q) _______(d)_______ ≡ (~P Ʌ P) V (~P Ʌ ~Q) _______(d)_______
    ≡ (P Ʌ ~P) V (~P Ʌ ~Q) _______(e)_______ ≡ (P Ʌ ~P) V (~P Ʌ ~Q) _______(e)_______
    ≡ F V (~P Ʌ ~Q) _______(f)_______ ≡ F V (~P Ʌ ~Q) _______(f)_______
    ≡ (~P Ʌ ~Q) V F _______(g)_______ ≡ (~P Ʌ ~Q) V F _______(g)_______
    ≡ ~P Ʌ ~Q _______(h)_______ ≡ ~P Ʌ ~Q _______(h)_______

    I. Identify the law Applied in each of the following I. Identify the law Applied in each of the following
    equivalences. equivalences.
    a. P Ʌ Q ≡ Q Ʌ P a. P Ʌ Q ≡ Q Ʌ P
    b. P Ʌ (Q Ʌ R) ≡ ( P Ʌ Q) Ʌ R b. P Ʌ (Q Ʌ R) ≡ ( P Ʌ Q) Ʌ R
    c. ~(P V Q) ≡ ~P Ʌ ~Q c. ~(P V Q) ≡ ~P Ʌ ~Q
    d. (P Ʌ Q) V (P Ʌ Q) ≡ P Ʌ Q d. (P Ʌ Q) V (P Ʌ Q) ≡ P Ʌ Q
    e. [~(~P) V Q] ≡ P V Q e. [~(~P) V Q] ≡ P V Q
    f. (P Ʌ Q) Ʌ T ≡ P Ʌ Q f. (P Ʌ Q) Ʌ T ≡ P Ʌ Q

    II. Match column A to column B. II. Match column A to column B.


    1. P V T ≡ T a. Commutative Law 1. P V T ≡ T a. Commutative Law
    2. P V P ≡ P b. De Morgan’s Law 2. P V P ≡ P b. De Morgan’s Law
    3. P V Q ≡ Q V P c. Implication Law 3. P V Q ≡ Q V P c. Implication Law
    4. ~P V ~Q ≡ ~(P Ʌ Q) d. Negation Law 4. ~P V ~Q ≡ ~(P Ʌ Q) d. Negation Law
    5. (P → Q) ≡ ~P V Q e. Domination Law 5. (P → Q) ≡ ~P V Q e. Domination Law
    6. ~P Ʌ P ≡ F f. Identity Law 6. ~P Ʌ P ≡ F f. Identity Law
    7. (P Ʌ Q) V F ≡ P Ʌ Q g. Idempotent Law 7. (P Ʌ Q) V F ≡ P Ʌ Q g. Idempotent Law

    III. Prove that ~[P V (~P Ʌ Q)] ≡ ~P Ʌ ~Q III. Prove that ~[P V (~P Ʌ Q)] ≡ ~P Ʌ ~Q
    Proof: Proof:
    ~[P V (~P Ʌ Q)] ~[P V (~P Ʌ Q)]
    ≡ ~P Ʌ ~(~P Ʌ Q) _______(a)_______ ≡ ~P Ʌ ~(~P Ʌ Q) _______(a)_______
    ≡ ~ P [ ~(~P) V ~Q] _______(b)_______ ≡ ~ P [ ~(~P) V ~Q] _______(b)_______
    ≡ ~P Ʌ (P V ~Q) _______(c)_______ ≡ ~P Ʌ (P V ~Q) _______(c)_______
    ≡ (~P Ʌ P) V (~P Ʌ ~Q) _______(d)_______ ≡ (~P Ʌ P) V (~P Ʌ ~Q) _______(d)_______
    ≡ (P Ʌ ~P) V (~P Ʌ ~Q) _______(e)_______ ≡ (P Ʌ ~P) V (~P Ʌ ~Q) _______(e)_______
    ≡ F V (~P Ʌ ~Q) _______(f)_______ ≡ F V (~P Ʌ ~Q) _______(f)_______
    ≡ (~P Ʌ ~Q) V F _______(g)_______ ≡ (~P Ʌ ~Q) V F _______(g)_______
    ≡ ~P Ʌ ~Q _______(h)_______ ≡ ~P Ʌ ~Q _______(h)_______

    You might also like