Scribd Logo
Upload

Welcome to Scribd!

  • 10 views

    Problems Set 2 - Final

    Uploaded by

    tsgpbtbhbp
    This document is a problem set for an intro to logic course. It contains 10 logic proof problems to be completed using specific logical rules. The problems are divided into 3 sections with increasing levels of difficulty and point values. The first section uses 8 rules and is worth 10 points per problem. The second section uses 13 rules and is also worth 10 points per problem. The third section uses all 18 rules and is worth 20 points per problem. The problem set is due by the start of the next class meeting.

    Copyright:

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

    You might also like

    Problems Set 2 - Final

    Uploaded by

    tsgpbtbhbp
    10 views2 pages
    This document is a problem set for an intro to logic course. It contains 10 logic proof problems to be completed using specific logical rules. The problems are divided into 3 sections with increasing levels of difficulty and point values. The first section uses 8 rules and is worth 10 points per problem. The second section uses 13 rules and is also worth 10 points per problem. The third section uses all 18 rules and is worth 20 points per problem. The problem set is due by the start of the next class meeting.

    Original Description:

    Original Title

    Problems Set 2_Final

    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 is a problem set for an intro to logic course. It contains 10 logic proof problems to be completed using specific logical rules. The problems are divided into 3 sections with increasing levels of difficulty and point values. The first section uses 8 rules and is worth 10 points per problem. The second section uses 13 rules and is also worth 10 points per problem. The third section uses all 18 rules and is worth 20 points per problem. The problem set is due by the start of the next class meeting.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as pdf or txt
    10 views2 pages

    Problems Set 2 - Final

    Uploaded by

    tsgpbtbhbp
    This document is a problem set for an intro to logic course. It contains 10 logic proof problems to be completed using specific logical rules. The problems are divided into 3 sections with increasing levels of difficulty and point values. The first section uses 8 rules and is worth 10 points per problem. The second section uses 13 rules and is also worth 10 points per problem. The third section uses all 18 rules and is worth 20 points per problem. The problem set is due by the start of the next class meeting.

    Copyright:

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

    Intro to Logic Problem Set 2 Page 1 of 2

    Problem Set 2
    Name: ​___________________________

    Due by ​the start of class on Monday, December 2nd.​. Lateness penalties (as specified on the syllabus)
    will apply to submissions after that time, unless you supply documentation of an illness or family
    emergency.

    Please either write neatly in dark ink (not pencil) or type.


    If you type:
    ● You will get an exciting stamp of thanks. (It won’t say “Thanks”. It will be much more exciting.)
    ● You are welcome to submit your work via e-mail as a PDF.

    You may not discuss these questions with anyone else. The work you submit must be your own.

    Proofs:
    Do the following proofs using the following rules ​ONLY​: Conjunction, Simplification, Modus Ponens,
    Disjunctive Syllogism, Addition, Modus Tollens, Hypothetical Syllogism, and Constructive Dilemma. 10
    pts each.

    a. {(B ∨ F) ⊃ (A ⊃ G), (B ∨ E) ⊃ (G ⊃ K), B • ∼H} ⊦ A ⊃ K

    b. {(∼A ∨ D) ⊃ (B ⊃ F), (B ∨ C) ⊃ (A ⊃ E), A ∨ B, ~A} ⊦ E ∨ F

    c. {(∼S ∨ B) ⊃ (S ∨ K), (K ∨ ∼D) ⊃ (H ⊃ S ), ∼S • W} ⊦ ~H

    Proofs:
    Do the following proofs using the following rules ​ONLY​:​ ​Conjunction, Simplification, Modus Ponens,
    Disjunctive Syllogism, Addition, Modus Tollens, Hypothetical Syllogism, Constructive Dilemma,
    Commutation, Association, Double Negation, Conditional Exchange, and De Morgan’s. 10 pts each.

    d. {∼(A • B), ∼∼A} ⊦ ∼B

    e. {A ⊃ B} ⊦ ∼B ⊃ ∼A

    f. {A ⊃ (B ⊃ C)} ⊦ (A • B) ⊃ C
    Intro to Logic Problem Set 2 Page 2 of 2

    Proofs:
    Do the following proofs using all 18 rules. 20 pts each. Some of these are quite fun (i.e. challenging)
    so make sure you give yourself plenty of time to work through them!

    g. {N ⊃ O, N ⊃ P} ⊦ N ⊃ (O • P)

    h. {Q ⊃ (R ⊃ S), Q ⊃ (T ⊃ ~U), U ⊃ (R v T)} ⊦ Q ⊃ (U ⊃ S)

    i. {(E v F) ⊃ (C • D), (D v G) ⊃ H, E v G} ⊦ H

    j. {(N v O) ⊃ (C • D), (D v K) ⊃ (P v ~C), (P v G) ⊃ ~(N • D)} ⊦ ~N

    You might also like