Question:

Logic class!--rules of replacement?

by  |  earlier

0 LIKES UnLike

I'm stuck on this question -

I need to find the regular proof

1. A = B

2. A v B

3. A > (B > C) / C

Can someone help please

 Tags:

   Report

1 ANSWERS


  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

Question Stats

Latest activity: earlier.
This question has 1 answers.

BECOME A GUIDE

Share your knowledge and help people by answering questions.