Question:

Help - rules of replacement for logic class?

by  |  earlier

0 LIKES UnLike

Regular Proof: I need to break this down ..thanks

1. A > (B > C)

2. (A > C) > D / B > D

 Tags:

   Report

1 ANSWERS


  1. 1. A -> (B -> C)                

    2. (A -> C) -> D....../B -> D

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

    4. (B & A) -> C......3, Com

    5. B -> (A -> C)......4, Exp

    6. B -> D...............2,5, HS

Question Stats

Latest activity: earlier.
This question has 1 answers.

BECOME A GUIDE

Share your knowledge and help people by answering questions.