Scribd Logo
Upload

Welcome to Scribd!

  • Josue LM4 Act 1 3

    Uploaded by

    YAGI, Miyuki F.
    16 views4 pages
    1. The first propositional form is a material biconditional that relates the conditional statement "(A → B) → D" to the conditional statement "~D → ~(~B → ~A)". Based on the truth table, this propositional form is a material biconditional. 2. The second propositional form relates the disjunction "S ∨ (P→Q)" to the disjunction "(~Q → P) ∨ S". Based on the truth table, this propositional form switches between a biconditional and a non-biconditional, depending on the truth values. 3. The third propositional form relates the conditional statement "{[(A ∨ B

    Original Description:

    Original Title

    JOSUE-LM4-ACT-1-3

    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
    1. The first propositional form is a material biconditional that relates the conditional statement "(A → B) → D" to the conditional statement "~D → ~(~B → ~A)". Based on the truth table, this propositional form is a material biconditional. 2. The second propositional form relates the disjunction "S ∨ (P→Q)" to the disjunction "(~Q → P) ∨ S". Based on the truth table, this propositional form switches between a biconditional and a non-biconditional, depending on the truth values. 3. The third propositional form relates the conditional statement "{[(A ∨ B

    Copyright:

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

    Josue LM4 Act 1 3

    Uploaded by

    YAGI, Miyuki F.
    1. The first propositional form is a material biconditional that relates the conditional statement "(A → B) → D" to the conditional statement "~D → ~(~B → ~A)". Based on the truth table, this propositional form is a material biconditional. 2. The second propositional form relates the disjunction "S ∨ (P→Q)" to the disjunction "(~Q → P) ∨ S". Based on the truth table, this propositional form switches between a biconditional and a non-biconditional, depending on the truth values. 3. The third propositional form relates the conditional statement "{[(A ∨ B

    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 4

    Loreece Anne P.

    Josue
    BS PSYCHOLOGY 1C
    2/21/22

    LM4 Activity
    Using Truth Table Techniques (TTT), determine what kind of propositional forms are given
    below.

    1. [(A → B) → D] ↔ [~D → ~ (~B → ~A )]

    A B D (A → B) (A → B) → D ~A ~B ~D ~B → ~A ~ (~B → ~A ) ~D → ~ (~B → [(A → B)


    ~A ) → D] ↔
    [~D → ~
    (~B → ~A
    )]

    T T T T T F F F T F T T

    T T F T F F F T T F F T

    T F T F T F T F F T T T

    T F F F T F T T F T T T

    F T T T T T F F T F T T

    F T F T F T F T T F F T

    F F T T T T T F T F T T

    F F F T F T T T T F F T

    2. [ S ∨ ( P→Q ) ] ↔ [ (~Q → P) ∨ S

    S P Q P→Q S ∨ ( P→Q ) ~Q ~Q → P (~Q → P) ∨ S [ S ∨ ( P→Q ) ] ↔ [ (~Q → P) ∨ S


    T T T T T F T T T

    T T F F F T T T F

    T F T T T F T T T

    T F F T T T F F F

    F T T T F F T F T

    F T F F F T T F T

    F F T T F F T F T

    F F F T F T F F T

    3. { [ (A ∨ B ) ∧ C ] → D } ↔ [ E → (~A ∧ ~D ) ]

    A B C D E (A ∨ B ) (A ∨ B ) ∧ C [ (A ∨ B ) ∧ C ] → ~ ~ (~A ∧ E→ { [ (A ∨ B ) ∧
    D A D ~D ) (~A ∧ C]→D}↔[E
    ~D ) → (~A ∧ ~D ) ]

    T T T T T T T T F F F F F

    T T T T F T T T F F F T T

    T T T F T T T F F T F F T

    T T T F F T T F F T F T F

    T T F T T T F T F F F F F

    T T F T F T F T F F F T T

    T T F F T T F T F T F F F

    T T F F F T F T F T F T T

    T F T T T T T T F F F F F
    T F T T F T T T F F F T T

    T F T F T T T F F T F F T

    T F T F F T T F F T F T F

    T F F T T T F T F F F F F

    T F F T F T F T F F F T T

    T F F F T T F T F T F F F

    T F F F F T F T F T F T T

    F T T T T T T T T F F F F

    F T T T F T T T T F F T T

    F T T F T T T F T T T T F

    F T T F F T T F T T T T F

    F T F T T T F T T F F F F

    F T F T F T F T T F F T T

    F T F F T T F T T T T T T

    F T F F F T F T T T T T T

    F F T T T F F T T F F F F

    F F T T F F F T T F F T T

    F F T F T F F T T T T T T

    F F T F F F F T T T T T T

    F F F T T F F T T F F F F

    F F F T F F F T T F F T T

    F F F F T F F T T T T T T

    F F F F F F F T T T T T T

    You might also like