Question:

Rules of implication/replacement for logic class?

by  |  earlier

0 LIKES UnLike

Regular Proof:cant figure it out helllp/thanks

1. A = B

2. A v B

3. A > (B > C) / C

 Tags:

   Report
Answer The Question I've Same Question Too

1 ANSWERS

Sort By: Date  |  Rating

  1. 1. A <-> B                    

    2. A v B                      

    3. A -> (B -> C)............../C

    4. (A & B) v (~A & ~B)..1, Equiv

    5. (A & B) v ~(A v B).....4, DM

    6. ~(A v B) v (A & B).....5, Com

    7. (A v B) -> (A & B).....6, Impl

    8. A & B......................2,7, MP

    9. (A & B) -> C.............3, Exp

    10. C........................8,9, MP

You're reading: Rules of implication/replacement for logic class?

Question Stats

Latest activity: earlier.
This question has 1 answers.

BECOME A GUIDE

Share your knowledge and help people by answering questions.
Register Now