# LOGIC HELP USING CONDITIONAL PROOF

**Question description**

Hello. I have to prove the following by using Conditional Proof or CP. How would I go about that if my premise is (B -> ~C) -> D and my conclusion is B -> (~C -> D)? I'm not sure if any nested proofs will be involved. If nested proofs are involved my book shows that they use vertical bars when your assuming something. So like if you were to start at number 2 and assume something it would start off like |2. If there was another assumption at say number 4 it would start like ||4. Thank you ever so much for your help.

Brown University

1271 Tutors

California Institute of Technology

2131 Tutors

Carnegie Mellon University

982 Tutors

Columbia University

1256 Tutors

Dartmouth University

2113 Tutors

Emory University

2279 Tutors

Harvard University

599 Tutors

Massachusetts Institute of Technology

2319 Tutors

New York University

1645 Tutors

Notre Dam University

1911 Tutors

Oklahoma University

2122 Tutors

Pennsylvania State University

932 Tutors

Princeton University

1211 Tutors

Stanford University

983 Tutors

University of California

1282 Tutors

Oxford University

123 Tutors

Yale University

2325 Tutors