SOLUTION: Create a proof for the following argument. 1.~D 2.B ⊃ (C ⊃ D) /~(B • C)

Algebra ->  Proofs -> SOLUTION: Create a proof for the following argument. 1.~D 2.B ⊃ (C ⊃ D) /~(B • C)      Log On


   

Question 1208734: Create a proof for the following argument.
1.~D
2.B ⊃ (C ⊃ D) /~(B • C)
Answer by math_tutor2020(3817) About Me  (Show Source):
You can put this solution on YOUR website!

Here is one way to do the derivation. There may be other approaches.
NumberStatementLine(s) UsedReason
1~D
2B ⊃ (C ⊃ D)
:.~(B • C)
3(B • C) ⊃ D2Exportation
4~(B • C)3,1Modus Tollens

Here's a list of rules of inference and replacement