1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Proving DeMorgan's Theorem?

  1. May 23, 2012 #1
    For my logic homework, I'm supposed to construct two proofs to prove that DeMorgan's is redundant. I'm not given a theorem or anything to start with.

    I'm only allowed to use Modus Ponens, Modus Tollens, Hypothetical Syllogism, Simplification, COnjunction, Dilemma, Disjunctive Syllogism, Addition, Double Negation, Duplication, Commutation, Contraposition, Association, Biconditional Exchange, Conditional Exchange, Distribution, Exportation, Indirect Proof, and Conditional Proof.

    Those are the only ones that we've studied in my class and the only ones that (I've noticed at least) are in the textbook (Understanding Symbolic Logic by Virginia Klenk). I'm only allowed to use Klenk's system, too.

    I THINK I have one of them already, but I'm not completely positive. It feels... not quite right, but not quite wrong to me either.
    1. ~A&B prem.
    2. | (AvB) Assp. for I.P.
    3. | ~A Simp. 1
    4. | ~B Simp. 1
    5. | A 2, 4 Disjunctive Syllogism
    6. | (~A&A) 3, 5 conjunction
    7. ~(AvB) 2-6 I.P.

    I've tried looking around at the other answers for this on this forum, but none of them work for what I'm allowed to do.
  2. jcsd
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Can you offer guidance or do you also need help?
Draft saved Draft deleted

Similar Discussions: Proving DeMorgan's Theorem?
  1. Theorems prove (Replies: 2)

  2. Proving Demorgan's Rule (Replies: 13)