Scribd Logo
Upload

Welcome to Scribd!

  • Lambertg Logic12 PDF

    Uploaded by

    Lithowolf
    8 views1 page
    The document discusses three logic concepts: 1. It lists the subsets of the set {A & B, ~C, D}. There are 8 possible subsets. 2. It provides two examples of supersets that contain the set {A ≡ (B & A), E, ~(R ⊃ Z)}. 3. It provides a proof using rules of inference including Negated Conjunction Introduction and Negation Elimination. The proof shows that the set {A & B, ~C, D} entails %.

    Original Description:

    Original Title

    lambertg-logic12.pdf

    Copyright

    © Attribution Non-Commercial (BY-NC)

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    The document discusses three logic concepts: 1. It lists the subsets of the set {A & B, ~C, D}. There are 8 possible subsets. 2. It provides two examples of supersets that contain the set {A ≡ (B & A), E, ~(R ⊃ Z)}. 3. It provides a proof using rules of inference including Negated Conjunction Introduction and Negation Elimination. The proof shows that the set {A & B, ~C, D} entails %.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    8 views1 page

    Lambertg Logic12 PDF

    Uploaded by

    Lithowolf
    The document discusses three logic concepts: 1. It lists the subsets of the set {A & B, ~C, D}. There are 8 possible subsets. 2. It provides two examples of supersets that contain the set {A ≡ (B & A), E, ~(R ⊃ Z)}. 3. It provides a proof using rules of inference including Negated Conjunction Introduction and Negation Elimination. The proof shows that the set {A & B, ~C, D} entails %.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    of 1

    Gilles Lambert / 1163555 Logic Assignment #12 1.

    {A & B, ~ C, D} Subsets: , {A & B}, {~ C}, {D}, {A & B, ~ C}, {A & B, D}, {~ C, D}, {A & B, ~ C, D} 2. {A (B & A), E, ~ (R Z)} Supersets: {A (B & A), E, ~ (R Z), P & Q} {A (B & A), L M, E, ~ (R Z)} 3. (a) Negated Conjunction Introduction !"#$% &'(1 is justified by Negated Conjunction Introduction By the Inductive Hy othesis, )*! " & By 6.3.2 )'(1! " & and )'(1! " + )'(1 , " !& # +% By the truth tab"e for # " !& # +% is true #henever both ~ $ and ~ % are true )'(1! " !& # +% -. .ase 1/: &'(1 is justified by Negation &"i'ination( By the Inductive Hy othesis, )i! "0 and )1! 0 )'(1 {" +}! "0 and )'(1 {" +}! 0 23 6.3.4 )'(1 {" +} is truth functiona""y inconsistent as it entai"s both 0 and " 0( )here is no truth va"ue assign'ent in #hich a"" 'e'bers of )'(1 {" +} are true( *n any truth va"ue assign'ent on #hich a"" 'e'bers of )'(1 are true, " + #i"" be fa"se( +o, if a"" 'e'bers of )'(1 are true, % 'ust be true as #e""( )'(1! +

    You might also like