LOGIC HELP! PROVE USING CONDITIONAL PROOF

Sigchi4life
Category:
Other
Price: $5 USD

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.

Studypool has helped 1,244,100 students
Ask your homework questions. Receive quality answers!

Type your question here (or upload an image)

1819 tutors are online

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